Someone threw away an old wood-cabinet radio across the street from me. Rummaging among the remains, I pulled a tube from the chassis, of a type I'd never seen before.
It's a stubby little metal-jacketed puppy, about 1" high, octal base with 7 pins. Metal is rusted enough that I can't read any markings, though I can just make out the GE logo. Most of the rest of the tubes in the set were standard-height metal-jacketed ones.
I thought it might be a plug-in rectifier replacement, but I don't think they had silicon diodes back in those days. It occurs to me that it also might not be a tube but some other socketed part that may need replacement periodically.
Not a big deal; I'm not going to do anything with this stuff. Just curious.