This just happened to us.............
We ended up getting a new pump for the washer. It cost us $120 for the pump assembly, when all we needed was the little pump.
BUT----
it did work just fine after replacing it. Thank goodness my hubby is a journeyman machine repairman and saved us lots on the labor !
T & K, July 2008