He found a small gas leak (!), which he fixed. He said that they are rather common (!). He couldn't replace the thermostat because he hadn't seen it fail, but jiggled it to dislodge any dust or lint that might have built up inside. Last night it was fine.