Synthetic GL-3 or 4 not 5

Redline MT-90
or
Penzoil SYNCHROMESH

I personally use MT-90, and could tell the difference when I switched the oil, smoother shifts, and its not as hard to get into some gears as it was. Be ready to pay $$ for either one as they aren't cheap!