$10.5K sounds about the going price. There was a company in Rugby, UK selling reconditioned ones for GBP6500, but I could not find the name/address, although I did find this.... truly a bargain if still available.
http://london.craigslist.co.uk/pts/1908894639.html
Julian
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.