The only thing I would suggest is flushing the system very well. Dexcool does not mix with other coolants. I have only heard, and read to never mix Dexcool with conventional coolants.

Technically, I would go with what the manufacturer recommends. Login to read more.