a standard pantera pump will work but evans would you to over drive it by about 25%. they sell a 4" pulley for that purpose, with a cost of about $90.
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.