Too much imo. The waterpump runs for around $110 and the thermostat about $65, so the total including labor should be much less than $1200.

__________________