We did not end up needing this:

New in box
Honeywell Home T4 Pro programmable thermostat: $25

https://www.amazon.com/Honeywell-TH4110U2005-Pro-Programmable-Thermostat/dp/B071X9DGHZ/ref=sr_1_1?dchild=1&keywords=honeywell+t4+pro+thermostat&qid=1598459319&sr=8-1