i paid £850 in lexus for all the above plus sparkplugs,coolant bypass hose,brake fluid,air filter pollen filter,coolant etc etc - independants in my area were quoting as much or more for the same job - one even tried to charge £200 for a pattern part waterpump in the price - might be as you say a bit too late to argue the toss now though - at least you should have piece of mind and a reliable car for the foreseeable