Gear box has to come off for the seal. I just got the oil today. I'm going to fill the box and see what happens. Run a warm up cycle and then start shifting gears and see if it can shift ok.
If not, I may just remove the gear box. If your friend has the pulley and belt number that would be helpful.
There is an off chance I know where a gear box is...
I will be upgrading the control in the next couple of months. Going from DC Brush Servos to AC servos and Centroid Control. Doing all the prep work now....
Marty