Hi, I inherited an old rotary cutter (about 30 years old at this point). It still works great, but the driveline needs to be replaced, and I can't figure out how to remove it from the gearbox shaft. It looks like maybe it's supposed to be bolted on, but one side of the hole just has a deformed...