I took off the top and found the troubleshooting papers included by the manufacturer. (It's a KitchenAid, which is actually Whirlpool.) Then I used a continuity tester to check the thermostat and the thermal cut off. Both were open, i.e., dead. So I ordered those parts and bingo, now it works great.