I'm replaceing the clutch this weekend hopefully, along with the release bearing. I figure since I'll have the end cap off I might as well replace the gear oil. What redline do I need to buy, and how much? Scott Rose 88 red 16v 90 yellow g60(or what's left of it)