I wouldnt even bother with getting the motor repaired at a shop. The cost would negate the purchase of a brand new motor and motor controller. If you go on amresupply.com the drain pump is about $180, and the new motor and controller conversion kit is about $300, you can certainly find this cheaper on eBay or Amazon. A brand new motor, no controller, is about $180 on Amre.
Now, if the tub bearings are nasty, theyre super cheap to replace. About $30 all in, and whatever you do DO NOT buy these off of eBay. Go to Motion Canada and buy SKF or FAG bearings, theyre the tops. If the motor turns nicely with little resistance and feels kinda heavy, and there is minimal/no play in the shaft, Id say the bearings are good. Id be looking at the tub bearings myself, that seems to be the most common issue with these machines.
Check out the link below, I did a bearing job back in the spring on a 4000.