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.