I would think the easiest way to change the dex-cool out would be a good drain and flush then refill with Prestone all makes/models/colors. That way if there is a bit of diluted dex-cool left it would be further diluted.

Ed