redline shockproof is pretty much the best gear oil you can get... i'm putting it in my car too.
if you have trouble shifting gears and want to fix bad synchros (well, not really fix but cover up the problem) use gm synchromesh. This oil emphasises the synchros ability to function so if you are after the best possible silky smooth shift, this is the stuff that does it. however, if you really thrash the gearbox then gm synchromesh may prove to be a little bit more corrosive on your gear synchros than say redline shockproof, so its up to you.