I wanted to update this thread. Thanks Garth for posting what type of tool it is. The link unfortunately is no good, but I've provided a new link to a place that has the same type of plug wrench for 3.95
http://www.jbugs.com/store/mer...=5773&Category_Code=
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.