Don't over think it. I usually just consult the penrite oil product guide when looking at oils. 80w90 seems to be the go. Any brand you like. These days I generally just buy a brand name that is on special. Reality is any "Mineral manual gear oil" will do the trick.
They all smell just as bad in gear oil