I've tried stock, Redline MT90, and Neo Synthetic 75w90RHD . I feel that both the redline and neo are better than stock, allowing for smoother, quicker shifts. The neo synthetic feels better than the redline; every shift is smoother and faster, and it also allows me to shift from 2nd to 1st at higher rpm's (when using proper double-clutching and rev-matching).
One thing I've noticed is that almost any gear oil will feel like crap when it's old, change it every 15K, as per the owners' manual. Most enthusiasts should follow the shortest recommended maintenance intervals.