If the coolant has leaked out, (id be initially worried where that's gone!?) is the water pump sized, or thermostat jammed shut?