I removed all ID from the pump and can't find the receipt, so I don't know the make. Maybe you can tell from the photo I posted if it matches yours. I bought the 'vacuum switch' from Summit for $59.99 07/22. I don't appear to have a leak.
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.