Hes been had.
My local Renault want about £500 for a full belt service, which includes the normal stuff. Other places will do it for about £400 if you look on CS.
EDIT: Infact, looking online now, the most expensive service I can book for my 172 from Renault is £406, which is the 72k belts service.
I'd be very surprised if that £400 is belts, with the full kits, and a full 72k service.
The cambelt kit is about £120 for parts, aux belt kit anothre £100ish, and the belts alone are booked at an 8 hour job by Renault. Then there's the spark plugs which Renault will charge you £60 for a set.
So that's £280 in parts already, not including all the other little bits, and the labour.
My guess would be the £406 is the service only, not the belts. Most of the people on CS quote prices for the belt change only. Fred at BTM for example does the belts on an air con equipped car for around £475, that does not include the service, just the belts.
Rentech specialists charge £600 for the service and just the bare cam belt, non renault item. Add on £120 for the aux belt kit on top, and another £60 to make the cam kit a genuine Renault one.
Remember just because it's 72k does not mean the belts are done automatically. Mine were done at 36k and 102k, based on time not mileage for me.
Willing to be proved wrong but after owning one for over 5 years that just doesn't seem right.