Can anyone tell me how far the clutch pushrod should protrude from the end of the 5th gear-shaft on the right side of the engine? Mine protrudes 1/2” (12.5 mm) from the end of the gear, a bit more from the seal. When I had that seal out for replacement I found a ball bearing lying near the engine. Since it was the same diameter as the pushrod I assumed it was the ball bearing found between the two pushrod pieces and had rolled out while the seal and the pushrod were out. I replaced the seal and today shoved the ball bearing and the pushrod back in. I believe the pushrod is sticking out too far and binding the clutch lever when I try to tighten the gearbox cover. I’m using the extended lever which goes through a slot in the cover. If anyone has that dimension it would be helpful. I don’t want to take out that seal, turn the engine on its side and shake it, unless I have to.