While the mini-banana makes a passable (though
expensive) modern
substitute, I believe the originals were hollow crimp-on taper pins,
#42107 or #42279.
Really? I have loads of taper pin patch cables. I should try one out.
The sockets just loom too big for taper pins.
--
Will