Although the cost of the part was higher than I had imagined, the technician got the diagnosis right and solved the problem in good time. Also did me the favor of programming a new thermostat I had installed myself.