I bought a mini high torque starter in 2007 from DB Electrical in the U.S. through their eBay store under part #3223. I've had great success with it turning my high compression (11:1) Cleveland motor, especially when hot which is where the stock starters fail when they are no longer any good. The eBay price is $52.50 US + shipping.
Listing under "NEW FORD MINI PMGR STARTER 302 351 MANUAL TRANSMISSIONS Fits models with 4 Speed Manual Transmissions-Fast ship"
Good luck.
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.