It doesn’t show up in the user manual, and there’s no mention of it on the front of the machine, but it turns out there’s a drain plug at the bottom of Kenmore front-loading washing machines. We found about $3 in change and a bunch of lint down there. Glad to know the thing isn’t broken.