Some people replace the oil in a leaky gearbox with corn head grease, very good lube and does not leak out like regular gear oil,
Regular Grease will work too, but you will need to be sure you fill the box so the top bearings get lube,
I understand Taking the box out and rebuilding it is quite a job for some one who has never done it before,