Hello Simon; You are indeed correct in regards to a factory issued bushing removal kit...
http://www.panteraplace.com/page224.htm
I see them infrequently for sale on eBay & garner very respectful money.
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.