I fthe oil seal was done a while ago, I wouldn't worry about either. BUT, you can tell him you want to take it somewhere to check it out. Lots of members there who can recommend good shops who know these things.
But, since they were both replcaed early on (??? on seal) and there hasn't been any problems in years, I wouldn't be concerned if it checked out.
But, since they were both replcaed early on (??? on seal) and there hasn't been any problems in years, I wouldn't be concerned if it checked out.