Well this is good in that it broke while you were there, and not while you were out for days or weeks. Check the other one too, its a good idea to replace both since problems with one may mean problems with the other in the future.
Sounds like you have the washer repair under control. Great!
__________________
-
|