Thanks, it might help. However the tube socket is wired to a set of wires that do down to a socket on the board. There is no way to tell for sure the connections aren't changed from what you would get straight at the base of the tube. I haven't found a decent page on the CRT in the manual, in fact it says something like "provisional" as if they weren't quite sure whose tubes they going to use.

Having the pinout, even in low resolution is better than nothing.