I'd say you're right on target. In which case, although the unit was manufactured my Whirlpool for Sears under their house brand, Kenmore. You can find the part(s) online at Sears Parts Central
http://www.searspartsdirect.com/partsdirect/index.action . If you can do the replacement yourself, you'll really save $$ on labor.
Hope this helped you. Please let me know. Thanks.
×