I have just acquired a Gilson 8hp rotary hoe along with its manual. The hoe is missing a belt and the manual does not list the belt size, just a part number. Can someone supply me the belt sizes for this hoe. And also was the Gilson also marketed under different names?