The seller will get back to me. I am handy with a few tools but not a mechanic by any means, so if it's a service I can change plugs, leads and filters. Anything else is down to the mechanic. There were a few other bits that required attention, exhaust, door locks, brakes, sunroof, etc. there's someone else going to look at it today, so he may be less put off than me. But I'll keep looking!