No way to tell until you separate the gearbox from the engine. Either way, while the seal is a $10 part, I'd hardly call the repair "not a big problem," at least from a monetary standpoint, as it's still the better part of a day in labor to pull the exhaust, pull the gearbox, replace the RMS seal and put it all back together.
If the gearbox has to come off, now is a great time to upgrade the IMS bearing and get a new clutch and have it all done on the same labor bill.
__________________
Boxster S
|