Transaxle gear oil, Anyone using synthetic? Options

[TC 914-8]

I bought some RedLine Synthetic gear oil a while ago and was toying around with the idea of putting it in my transaxle. A little hesitant (IMG:style_emoticons/default/confused24.gif)
Any Pros or Cons?

[realred914]

redline in my tranny, when i bought the car if shifted poorly very poorly, changed oil with new dino (stalube) no improvement, then put in redline synthetic, and it shifted great, now over 80K miles later, it still is fine, that redline is good stuff, jucst be sure you buy the redline with the correct additive package for our transaxles 9they make a specific blend for us) I forget the exact name of the product (they have changed the naems over the years) selection of the correct redline product is esential.

I could hardly believe the mechanic in the drum worked so well on my hard shifting tranny, but it worked, have since used it in my van and Bug trannys, friend uses redline in his tranny too,
it is a good product.