[bandersen]

Sigh. Forget all that. I installed a replacement and it has exactly the same problems! So I reconnected the original and placed it as far away from the chassis as possible.
Bingo, the vertical distortion went away. So it is hum being picked up from the surrounding circuitry.
The short must be mild enough it's not causing problems