I guess I have the dreaded leaking RMS and will have it replaced under warranty. Here's the question-how much of the oil has to be drained when they do this? I'm at 13.4k miles and figured if they had to replace all the oil when doing the seal, I would just wait and have them do it, coincidentally, at 15k miles, so I could get my oil change gratis. Yes or no?