This Sensor also goes by these names in the manual:

Engine coolant temp sensor

Fan switch sensor

Carburetor choke sensor

Sold as is