Think they used cryo'd tubes from various manufacturers.
A quick Google search found mention of Phillips USA and Russian 6922's (both of which used to be plentiful/inexpensive).
If you can post close up pics that would help.
Otherwise look for the Tubemonger tube library website as he has excellent pics of various tubes, including 6922's.
DeKay