Just got a new heat pump. The contractor put in a manual thermostat and we are used to a programmable. - Is a steady 70 degrees in the winter more energy efficient than dropping it 4 degrees at night and having the axuillary electric come on in the AM? _ Is the TSTAT worth the price difference of $100 more than a conventional programmable thermostat?