Does anyone have any recommendations for manual transmission oil for my 86 Coupe GT? I've seen Redline mentioned in the past but seem to remember some controversy about it. Glenn