Apparently these go bad every 2-3 years; this is the 2nd. 1st time sears charged me $150.00. I kept the part (just in case).
When the switch went bad again, did a google search and found this site. Followed the directions and popped the switch in, all good. Had a little trouble getting the old switch out need pliers and a screwdriver.