Curious about "annual" service for those out there that are high milage consumers. New S75D delivered 12/22/17, but really started driving 1/2018 after charge port issues, xpel, etc. 11,000 miles now. Any thoughts on whether to skip the 12.5k and do the 25k service at one year?