Not sure about that one specifically, but some do recommend the Redline gear oil.
I'm using Royal Purple and I know a couple others who are happy with it.
Some here say just put 30 weight non detergent motor oil in it, and that seems to work for them.
Just don't use standard modern gear oil with ratings like GL4 or GL5, additives eat up the yellow metals.