Reminds me of the market for tubes for guitar amplifiers. The "good" tubes are JAN (Joint Army Navy) tubes which were last produced in the 1960s. Someone must have acquired quite a cache of them because they are still turning up albeit at increasingly steep prices.