On Thu, 20 Jan 2005 17:39:48 -0600, "D. J. Dorn"
wrote:

When (if) that happens again, I'd like to swap it out for a
standard on/off switch.

You Americans scare me...

If your magnetic switch (whatever sort) failed, then get a decent one.
It's no reason to discard _all_ magnetic switches, along with their
no-volt benefits and the ability to easily add remote e-stop buttons.