The manual says Dex Cool good for 5 years, or 150k miles...its been five years. I have read good and bad about Dex Cool, do I replace with the same or switch to another coolant????