Where ever you read that the GL5 wasn't needed in the trans is really on the wrong track.
Actually you can run peanut oil in there too but if you want what is best for the gears, they you use a gear oil, not an engine oil. Sure you will not throw the gears out through the case using engine oil but the wear factor between the gears will be more than an oil that is designed with certain additives to protect the gears. Use the peanut oil, it's cheaper yet. :s
As far as what the dealer tells you..... I wouldn't put too much stock in that. Some dealers still use syn 3 in all three holes. I have seen trans bearings and shift forks that were blue from improper lubricants used like engine oil (syn 3) in the trans so you can decide if you want to spend $15k-$20 for a bike and use something that is recommended by a dealer who in a lot of cases has profits in mind and not what is best. I on the other hand have no profits in mind and tell you what I have found that works best from many years in business and first hand experience and results.
You can make your own decision based on these facts.
I was looking to run mobil 1 75-90 gear oil but cannot find it anywhere here. Haven't seen much discussion for other brands that I can get in the synthetic gear.