engine coolant sensor, on top of the thermostat housing?