I thought the sensor was the one on the thermostat housing. If it isn't, what is it?