Since I can no longer purchase a Honeywell T8401C100 like the one that came with my mobile home, what is a good Honeywell thermostat to use to replace it (the buttons on the original are unresponsive)? My guess is that it would be a Honeywell RTH111B1016, but I am not certain.