My third gear syncronizers are a little worn, it will still shift smoothly
but takes a little practice.  My question is, would Red Line be better for it
at this point, or stick to a non synthetic oil?
Thank you
Alan