I have a few 7 and 9 pin miniature tube pin straighteners with the metal insert. They are made by General Cement and are glued together side by side in pairs. $10 for a pair postpaid. 73 Kees K5BCQ