Yes, they're used in the rf power amplifiers. Both the X-band amps use tubes, and one of the pair of S-band amps does. The other is solid state. I don't know what drove this decision back then - they're presumably mission-critical so perhaps they were separately sourced.