Product review (1 stars): it looks like super cheap junk is the only option
This switch died after 20 months.  The aggravation of pulling the washer out and disassembling to replace a second time has me thinking seriously of leaving the short circuited set up used to finish the cycle and empty the washer, in place.  I don't see where you can get a OEM part anywhere... it looks like super cheap junk is the only option.