What is the concensus on manual transmission and final drive oil for E30's ('86 325 eta--just picked up recently as a project car

)? I have a case of the BMW Super Synthetic 75W-140 Gear Oil already in the garage that I use for my BMW motorcycles, any problem with using that?
No time to get Redline or other specialty oil, need something readily available today, maybe a Mobil 1 syn or other from local auto store?