Product review (5 stars): This fixed my problem! I did get a professional ...
This fixed my problem!  I did get a professional to install it, which cost almost as much as the product, but it was worth it.  Anyway, at least for now, my 10 y.o. washing machine is working again!  It's been a couple of months.