Will probably just lather it with Penrite marine grease, should be ok? I mean its been like that for a long time before I got it and just had a complete 6 hour labour service 3 months ago, so tech clearly wasnt concerned, but odd he didnt put something on it.just spray with gel type lubricants ( sticks more) try wd40 Gel....
ot just paint it over with marine grease till you fix it
I read a counter intuitive article about WD40. Didnt know there was a gel variety though. CRC is common place here, similar product, but has a variety of types for what you are using it on.