The Redline gear oil that’s the closest to matching the factory recommendation is MT-90. That being said, your problem sounds more like insufficient clutch release when changing gears. You can measure the clutch release with a feeler gauge, through the inspection hole in the bellhousing. I don’t recall the appropriate measurement but it’s here in the forums, most likely posted by Bosswrench.
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.