Greasing A Manual Gearbox

Yup, oils drip out the seals. If I have a steering gear that need lube, I pull the top off and pack the box with Moly wheel bearing grease. Re-install the top and adjust. I agree that a grease gun will probably pop seals out.