I read interesting some stuff recently looking for answers myself, apparently VMX80 is just not that great, it's been sited on some other sites for giving a poor shift quality, which is weird when you read it's supposed to improve shifting feel.
Overall I found if you want something with real cold shift ability, while retaining a real 90W hot shift protection, you 'need' a synthetic or semi synthetic gear oil, which means a 75W90 oil, and not a 80W90 or straight 90W which will usually be non synth oils.
I was going to use Penrite 75W90, but could not find any, in the end I bought some Nulon, which while I'd not normally touch their stuff, I hear their base oil products are ok now, though I have yet to actually do my gear oil so can't say for sure yet if it is any good.
If you check Bob Is The Oil Guy or other, 80W90 etc is car makers cheap-ing out on spec oil, saving $ on the factory fill...