When you did the flush, did you replace the dexcool with the yellow, green coolant?