Thanks for the info.
Are they typically made specific for a certain arcade manufacturer (Namco, Williams, Exidy?) or are they compatible across a wider variety of hardware platforms?
I assume they can be sourced from Asia? Do you know of any suppliers? Or where I could source a small quantity in the States?