Tech showed up 30 minutes early, which was good.
So far, heat is working fine. But tech said the electronic card may have to be replaced.
Expensive ($263) for 20 minutes work.