Diese Industrie Notausschalter die du meinst sind natürlich supergeile dinger liegen preislich dafür auch bei 60 - 90 EUR pro Stück !
findet man ganz einfach:
Ebay "notausschalter" eingeben und bei sortierung "teuerster artikel" zu erst anzeigen
alternativ gibt es ähnliche Groß-buttons aus dem arcade bereich -zB für BishiBashi automaten, ein solcher großknopf kostet dann zw. 8 und 15 EUR.