Known as: temperature sensor coolant