On an older unit.. I'd use 85-140, unless i knew the specs called for 80w90.
If it leaks a little, use JD cornhead (pourable) grease.
If ya can't get it, any 0# grease will work... or just get most of the gear oil out and pump in regular tube grease, and let it mix with the remaining gear oil to make a sticky flowable mess..
Soundguy