What kind of grease?

[hbofinger]

My antenna on my W126 started sticking, and after disassembling the entire unit, it's clearly a worn mast (this is really good news!).

But the grease inside the unit is a bit old, and I want to make this assembly last another 105k miles after I put it back in.

What's the right kind of grease on the teflon gears? I was thinking of Penn Fishing Reel grease - it's great on gears, and does not hurt the Teflon washers in the reels, but I don't know if it will gum up in cold temperatures.

For anyone undertaking this task, by the way, I must again say this is not hard, and again I marvel at the simplicity of it all...