Those are common, readily available tubes.

Try Antique Electronic Supply, http://www.tubesandmore.com/ .

If you don't like their prices, go to http://www.google.com/ and search for
phrases such as "radio tubes" to compare with other suppliers.

Phil