I have only ever used Redline Lightweight Shockproof in my four manual R33s with no issues. It makes the gearbox much smoother than any other gear oil that I have used previously.
Some of the claims that have been made about Redline Lightweight Shockproof include it being able to be used for 400,000 km without needing to be changed. On this basis when I was once doing an oil change after 40,000 km in a R33 it came out very clean so my son reused it in his Mazda 626. That was over 210,000 km ago and that gearbox is still going great with oil that is now over 250,000 km old.
This is my experience with Redline Lightweight Shockproof.