gear oil
I just looked online and there is at least ONE GL-6 gear oil on the market. It comes either in synthetic or Dino and in 2 grades of each.
That is what I use and have since 1990. Before that I used other brands of synthetic gear oils without issue.
YMMV.