Source for CHEEP BIG switches

I came across some switches at All Electronics
(www.allelectronics.com) that look great for machine control. Their
description of cat# PB-211: "Durable red plastic S.P.D.T. momentary
pushbutton switch frequently found in arcade games. Useful in any
application requiring a large, rugged pushbutton switch. Button
operates a 10 Amp snap-action switch. Plunger is 0.86" diameter. Bezel
is 1.33" diameter. Threaded bushing is 1.1" diameter and will mount in
panels up to 0.75" thick. Includes large plastic mounting nut."

The switches come in red, white, blue, black, yellow, or green and
they are $3.75 each. A pair of these (green for go and red for stop,
for example) and a small DPDT DIP relay which controls a BIG master
power relay would make a neat magnetic switch assembly.

Of course, you all know the advantages of magnetic switches: no
restart after a power failure, hit the big red button for emergency
stop, mount the stop and go switches in a remote pendant that is wired
with small gage wire carrying low voltage and current.

Just passing this along, FWIW.

Larry