I'll be running a service on my car soon. It will have 135k miles on it and is still on the original clutch fluid. I don't see anything in the owners manual about changing it. I don't have problems with it, but after close to 12 years and 135k miles I kind of feel like I should flush it out? What say you?