Product review (5 stars): Easy choice
$5 from Amazon, $50 locally. Old washing machine. Easy choice. I'll give this switch 5 stars for now. The original switch lasted 4 years. If this one dies early, I'll update my rating appropriately.

Learned how to replace this switch from YouTube.com videos. Also did a YouTube.com video temporary bypass until the new switch came in the mail. That way you can still use the washing machine while the part is in the mail. If you can turn a screwdriver, you can pretty much follow the YouTube videos and save yourself a lot of money on a service call.