Sounds OK Sinewave, my dealer charges £125 for the full 4K service, adds another £60 for part and labour when it needs the air filter.
Yes, I'd forgot the main intervals are now 8K so yes, no Air Filter! Might have to do that myself for piece of mind.