Synthetics are another option. I haven't searched but there might be a 'designer' synthetic gear oil that fits the bill, flow well enough to properly lubricate but not leak as bad as dinosaur oil.
https://www.machinerylubrication.com...hetic-gear-oil