so I wasn't planning to do anything to the gearbox other than clean it, replace seals and change oil, but now its out of the car I can see that the input shaft has some lateral play, maybe 2mm at the tip. Is that normal or do I need to replace the input shaft bearing?
thanks.