OK, this is driving me crazy. This is a dual-res monitor; it has a little connector on the chassis where you choose either 15KHz or 25KHz (it's set to 15, where I want it).
The chassis was just fully repaired and guaranteed to work by the repair person. It is being driven by the latest ArcadeVGA card from Ultimarc, and is connected through the Ultimarc video amplifier.
Here's a picture of what should be the PC's BIOS setup screen:

And here's a short video clip of the same thing (sorry, it's a MOV file):
https://db.tt/GhSj2lDDI've messed with every potentiometer I can find, which does various things to the picture - but nothing that results in a stable/correct image.
Anyone?