I would tend to agree, the market has softened in the past year or so. I have seen the yellow '72 in person and know the owner. $64k seems like a good price. These cars may have brought $10K - $20k more not long ago.
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.