Based on what I read in this thread below: if the internal shift shaft seal fails, engine oil can end up in the gearbox. How does one confirm this...