I still have a broken rg6000 as well due to some "beginner mistakes"
I have yet to find the time for repairing the model..
Only takes about 45 minutes to do the seal replacement with no prior experience, don't put it off for too long!
Might I ask what your pump is doing that you determined it was broken? Leaking, shaking, trips breaker, etc