Thanks for the advice. The problem is intermittent, so I am going to carry a multimeter with me until it happens again and test the sensor. If it turns out to be the temp sensor then I will order it from PartsShop, which carries it for $16.