I enquired about loads 2 months ago before buying mine, 90% of cars that were due/overdue the cambelt change had not had it done.
This plus if a service is due would account for about £500 so bear that in mind.
£10,000 sounds a fair price for that one IMO.