The owner took the pump in for repair. As it turns out, the pump had a seal blown and got oil into the windings. $3500 later, the pump is back in operation.