In the end, I used the link Rene provided in the original post. it turns out the company does business in the US as well, and I bought two of the switches for about $18 each plus $6 shipping. We’ll see…
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.