i got this washer 15-20 years ago from a neighbor and used it for a long time knowing i needed to change the belts. finally, they started really slipping so i stored it in the garage. unfortunately, water got in it and froze and cracked the pump now i am trying to buy pump parts. i got the old pump out and freed up but the housing is cracked and the o-ring is pretty bad and the pump belt broke. it would be nice to have a manual, owner and shop manual so far i haven't been able to find parts can anyone else help. i would like to keep the machine, it helped me through my single years