I have one, and I purchased it from Steve (Pantera Parts) or someone else about 3 years ago. I agree that it has lots of good information, but it is more of a parts book than a workshop book. I do not see it on the Hall site, but I would go to them first, only because I think it was $60 when I purchased it.
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.