Replaced the motor. Removal of the old motor was straightforward except that the fan was stuck to the motor shaft. Had to destroy the fan to remove it; good, on-line instructions for solving that problem. With new fan and new motor, replacement was easy. If I had to do it again, or on another, similar machine, it would take less than half the time. I'd assume the fan problem and order it at the same time as the motor in order to avoid delay