I don't believe he used a particular manufacturer for the driver/input tubes. The original 12AT7 and 5965 (12AV7)tubes in mine were GE. I am using GE 5 Star Platinum 5965 and a combination of Amperex and Tung Sol 12AT7 (RCA is the manufacturer of the Tung Sols, same tube different label). These tubes last forever, I recently checked them out after 7 years continuous use with the SAME TUBES and they test darn close to NOS, same with the output tubes, just amazing how efficient this design is. Not only that but replacing these tubes is so inexpensive relative to what you would spend for other driver input tubes 12AX7, 12AU7 or 6SN7 for example. Tube rolling is quite inexpensive, a beautiful thing.
Enjoy your amp, it is a gem and a keeper and will never be the weak link in making music!