The GT5 and GT5-S came with the standard red owners manual. I am not aware of any repair manual specific to the late model cars. PM me with your contact info and I will send you what I have collected by way of technical information relevant to 9000 series cars.
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.