I bought a 2000 TJ for my son to learn to drive in and learn about mechanics. So far so good but the manual transmission has a synchromesh issue going into 3rd gear. I can pull the transmission and get it rebuilt for $1800 but before I do that is there any benefit in trying new oil to see if it helps at all? I've read a lot about Redline MTL and Royal Purple Synchromesh, but what is the best for my situation? The TJ has 96 thousand miles on it and I have no idea when (or if) it was last changed.