The service history is with numerous independents, and I don't think I would trust a cam belt service done for £900 by a service shop I haven't heard...