Grease recommendations for worm gear?

[teenix]

15 years isn't so bad, I might be gone by the time it fails again :-)

Did HP put lube on these in the first place, given that it may fling off into the calculator internals?

They might be the same as the printer gears in Topcats which have none.

There should be a tiny dob of molybdenum grease on the end float bearing though which helps keep things quiet.

cheers

Tony