Maximus,
Welcome top the PIBB, sounds like you have a great and special car on your hands.
Reproduction Owners Manuals are available from the usual Pantera vendors, in fact George should have piped up for 'a sale' as he has them in the PI store literature section for $30.
If you want an 'original' then they do come up on ebay in varying states of decay occasionally, although I'm I have to say I'm not sure what manual would have been supplied as OEM with an '87 car? Is that still the later red cover one?
There's a pdf version of the later (red cover)one floating around on the web too, if you just want reference material.
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.