I personally hate Dexcool, it has tendencies to sludge and make orange gunk in the lines and has been known to cause gasket failure. If it were me, I'd have the system thoroughly flushed and green put in. That's what I did with my car.