I went with Redline MT85 on the advice of multiple people here and I can only say :Didn't see this thread until this morning.
Personally I use either Fuchs Sintofluid 75w80 or Millers Oils MTF 75w80 in most manual gearboxes. I think they both do 75w85 and 75w90 variations. I personally feel like Millers Oils MTF's give a slicker shift, but it's hard to gauge because I've never done a back to back with fresh fluid.
- That Gearbox feels MULTIPLE LEVELS DIFFERENT, it's noticeably smoother even on cold ( 3°C mornings) and the car seems to shift a lot better ( I had a problem with the rear gear which is gone with the Redline).
Redline is truly super oil, very satisfied with it and deserves each penny.
As of Fuchs and Millers oils they are rare in here, haven't seen a shop delivering to france or germany having it on sale. As rare as amsoil I would say.