From a previous thrash on this topic:
Here is a list of the currently available gear oils that match RBT's recommendation. This isn't an exhaustive list. I'm sure there are others but these are the ones I know of. There may also be GL-5 gear oils that are OK (eg. Redline 75W-90NS) but because Lloyd Butfoy says to use GL-4 gear oils, that's what I've listed here. Lloyd also recommends changing your gear oil annually, regardless of mileage driven, due to condensation forming inside the case. In fact, the less you drive your Pantera the more important this is.
Conventional (mineral based):
PennGrade Classic GL4, 80W-90
Driven Oils, GL4, 80W-90
Richmond Gear, GL4, 80W-90
VP Racing Classic, GL4, 80W-90
Synthetic:
Redline MT90, GL-4, 75W-90
Penzoil Platinum, GL4, 75W-90
Amsoil, GL4, 75W-90, Manual Transmission and Transaxle Gear Lube