Hi mate all I know is it costs around 800 quid, they change the plugs, oil,filter ,supposed to check valve clearances but I could put money on they don't and prob wouldn't even know how to anyway .not a cheap service by any means .but don't let it put you off buying ,after that service it's 300 ish .they don't change any belts at 60,000 miles either .
Good luck