Ah, yes, the triple triode version of a 12AX7.View attachment 7243006
Triple triode meant for RGB in color sets...for some reason, 7ender used them in some later amps..
Leo was always looking for ways to save money without cutting corners. Since these were once common in TVs, they'd have been readily available. As tube TVs faded, they were even more available and hence less expensive. So that's my guess as to why. Leo had to hate wasting a triode or spending the space to put in a single triode. The only thing wasted here was a single pin.