Jerry, I'd like to add to what you said. I've got an old record player that is nearly worthless, and all I use it for is washing. Spray soapy water on the record, put it on the player and hold a toothbrush on it to clean. The toothbrush should be old and soft. Then rinse well with plain water at about room temp. Next is the part that makes a real difference - record from it while it is still wet. You'll be surprised now much white noise that gets rid of.

Lyle