I checked the service manual and they don’t mention applying grease to the extension tube to make it slide easier. They do use XPS synthetic on the spring ends and the two recesses of the extension tube during assembly instructions.
Maybe try cleaning the tube with alcohol wipes or solvent. Mine slides easily without grease. Like you mentioned the grease will probably attract dirt and sand and end up making a mess of someone’s swimsuit bottoms.