I only see where F40 has sold one Mangusta, a yellow one asking $345,000 in March of 2015. F40 is also a bodyshop, so it could be the same car with a color change (hopefully back to an original yellow) or a completely different car.
F40 and Wayne could easily have had a red Mangusta that I know nothing about.
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.