Product review (4 stars): WD-40 Gave my old one new life!
This is the right part, and the right price.  There are YouTube videos that will give detailed instructions for replacement/installation.  While waiting for the 2-day delivery I found I may not need it.  Here's why.
I took the old one out and tried to disassemble it.  I couldn't get it apart, but I did manage to get the slide stuck.  So I sprayed it with WD-40 - liberally, very liberally - it was dripping.  I got the slide freed up, worked it a bunch of times and put the switch back in.
  It works.  Since then (3 weeks) the washer has failed to start twice (out of maybe 15 times) - each time I dropped the lid closed from a height of about 12 inches and the start button.

Service calls from our local appliance dealer start at $150, plus parts - and you know they would have replaced the motherboard too.  I figure that little spray of WD-40 saved me at least $300

Maybe I'll have to replace the switch one of these days - but not today....