I also bought this stud boss cutter :
CCA-4729
https://www.summitracing.com/int/parts/cca-4729
and I found longer rocker arm studs :
MIL-84351
https://www.summitracing.com/int/parts/mil-84351
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.