When I got my Hall's Pantera brake kit it came with a mechanical switch triggered by the pedal. It was a POS that was constantly not closing its contacts. I replaced it with a microswitch. I went down to photograph how I mounted it and found that I must have replaced it with a switch similar to the Hall's one. This was over 10 years ago and can't remember why I did that. Anyway here's a picture of the mounting. Quite simple. I think the switches, or something quite similar, are available at most auto parts stores. Or Amazon:
http://www.amazon.com/Standard...plight/dp/B000CPK39G
Oops, stand on your head
PANTERA INTERNATIONAL
A DE TOMASO CAR CLUB
Presents the De Tomaso Forums
The On-Line Meeting Place for De Tomaso Owners and Enthusiasts From Around the World
Clicking on the banner will take you to the sponsor's website.