I haven't had issues with the redline oil, but my car is slower.
I used the blue "lightweight" gear oil in my 8-3/4 and did not have any problems. What caused it to gel? I never herd of that problem.