Nixie?? readout tube ZM1030, 'Made in Holland', what kind of instrument was this used in? Someone need this? I also have a socket for 5894 and will also fit some military 800 series tubes such as 829 or 832 or some such. I do not need this socket, maybe it would do for part of tube display or?? Also i have a 5894 i will never use. Hue Miller