Going to do a thermostat swap and looking to replace the old coolant. Anyone have any preference to the dex-cool orange stuff or the green stuff? It's a 2000 so not really sure when the last coolant was replaced. I heard either can cause some corrosion. Just looking to see what everyone else has had success with.