I bought my 2000x for £6,500 in Jan with 55k on the clock, it had a water pump at 40k, and I paid £500 for the 60k service last month including timing belt,
take it for a drive, see if someone from LOC who is local to yourself is free to go with you,
Either way, I'd try and get it for book price, on the grounds that its book price, simple as that, however, it definitely seems to be a nice car,
but for £7,600 you can get a 2002/03 with similar mileage, just as clean (21 cars on trader at the moment between £7k and £8k with less than 60k on the clock (SE and Sport level) last time I checked), several from traders