$5K sounds a lot for papers, but if it is what you think it is then you could add far more than the $5K in value to the car with papers.
'Register DeTomaso' on Facebook says he has ALL the factory records and is selling them, but of course you need to know for sure what VIN# your car is.
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.