shifter lubrication

I see mechanic has it pretty well packed in thick, gooey red stuff. With most of these summer cars nowadays, the heavier stuff makes sense - holds up longer, works good. I had planned to spray some white lithium grease in there but it's looking pretty happy right now.