Plenty of walkthroughs on how to replace the front output shaft seal. None (that I can find) mention the depth to which the seal should be driven into the box. I'm guessing that means you drive it all the way in until it seats, but I really don't want to find out the hard way that I'm wrong! Can anyone confirm?