A long time ago I installed a Hirschmann power antenna in my dad's Golf. The car has returned to us and my son drives it now. I remember the antenna came with a little pouch antenna grease for regular cleaning and lubricating. What lubricant would you use these days for a telescoping power antenna?