Those plug into first two pins directly to the right of the 12HL7 video output tube as shown here. The chassis on mine is marked "DGS" with a grease crayon, probably done at the factory. I've seen others like yours with no markings at all.
__________________
I tolerate the present by living in the past...
To see drh4683's photo page, click
here
To see drh4683's youtube page, click
here