I am in search of tube extenders for 7 and 9 pin miniature tubes. If anyone has a set they would like to sell I would be most interested. Please, contact me off list with your price. Thanks, Rick/K5IZ