I'm going to confuse a few people with a choice they will face at the GM parts counter that hasn't been addressed yet.
1. Regular GM Synchromesh, GM part # 12345349
2. Friction modifi
ed GM Synchromesh, GM part #123777916
3. GM Friction Modifi
er added to any 75-90 gear oil
There is no right answer afaik...The Honda guys bickered about which is the best choice. Both apparently help. I'm running option number 1 in my Integra transmission and it does work better then anything else I've tried over the years.
If you've got the time and inclination, you can get your fill here:
http://honda-tech.com/zerothread?id=549469
While everybody says nice things about Redline, coming from that Honda background, there is a popular suspicion with those guys that Redline will help your synchros at the expense of your bearings. You obviously want the right balance of friction for your synchros and slip for your bearings.
And I'm speaking from personal experience on a 89 CRX...less then 10k after switching to Redline, my input shaft and mainshaft bearing started getting noisy. But that was a tranny with 150k on it already...circumstantial, yes, but noteworthy.
Using the Honda folks experience is great. Their stuff is typically older and very beaten on...you can see long term trends that you won't pick up on a single generation Protege board.