Replacement tube for IBM 026 Printing Card Punch

So I'm off to look for a 25L6 tube for my IBM 026. John Lawson says that the tube is a 25L6 because all the other tubes in the rack are 25L6 types and he believes they are hammer drivers. Not to doubt the venerable Mr. Lawson, since he did used to service these, but I just want to make sure this is in fact the right tube type that goes into the socket that is currently empty. See photo here: http://www.vintage.org/gallery.php?title=IBM%20026%20Printing%20Card%20Card… I'd hate to plug in the wrong tube and then witness volumnious amounts of smoke billow from within the machine. Can someone verify that the 25L6 is indeed the correct tube for the empty socket? Thanks! Sellam Ismail Vintage Computer Festival ------------------------------------------------------------------------------ International Man of Intrigue and Danger http://www.vintage.org * Old computing resources for business and academia at www.VintageTech.com *