Does anyone still sell actual radio buttons - ie, the interlocking, latching push switches ?
I can see some 2nd-hand, ex-equipment ones on ebay, etc - but does anywhere sell new ones?
My google searching is just getting swamped by references to the GUI metaphor.