Hi all, forgive my newbie question, but do I need to lube/grease the areas where the arrows are pointing? If so, what do you recommend? I assume there is a good lube that won't mix with the engine oil. I had to remove and clean this area out because it was full of gasket silicon from the previous owner, and it appeared to be affecting the shifting. Thanks!