Love the picture with the test equipment.
Back in the 80's I ran a couple metrology labs and worked on all that great old stuff.
The HP tube stuff had RCA 12AX7's.
I got a bunch of tubes from dead equipment they were throwing out.
For more hours of fun RG's site is also filled with fun info.