Thats a really good point. I wouldnt let the dealer get any clue the oil in there is even 1 mile past 7,500 old. No way 8k oil would doom those seals, but I wouldnt risk them ever knowing. I would fake up some paperwork that I supliment dealer oil changes with dyi oil changes or something...