On a much better note however... This Vectrex arrived!
My son very much approves.
This unit works generally very well, although the sound is a bit crackly. I've ordered a debuzz kit to hopefully fix it, but it may just need a new speaker or the pot needs cleaned.