George,
If I am reading your posts correctly, double pinning the distributor gear is only necessary if someone has gone to a heavy duty oil pump shaft? And would not be recommended or necessary for use with an OEM oil pump shaft?
Jeff
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.