From electronics inventor estate, many other tubes as well, small to large. I have a used one of these, plus a 6SN7W in my USN MARK5 RADAR MODULATOR, vintage original, which i have not listed yet.
Also have a mark5 radar transmitter. I have a spare plug socket for the 4C35 if you are interested.