Dexuncool
Mixing the red and green will not sludge up the system. The two are chemically compatible, both glycol, but mixing renders the Dexcool's reported 100,000 mile/5 year lifespan to regular coolant.
The trouble starts when air is constantly present ie. a failing cap or bad hose clamp. Dexcool (Texaco) is under the gun for many problems caused by the failure of cooling components possibly related to the orange antifreeze. It seems to eat gaskets and clog heater cores.
In '96 GM specified Dexcool only and warns against engine and cooling system damage if not used. After researching I flushed with green. There is no going back. Once green no orange. Just change every 2 years, like Dexcool now recommends.
The Dexcool I removed was absolutely perfect looking. But my engine runs cooler with less wild temperature mood swings with RLWW and 40% green. Could the $15 a gallon have anything to do with the recommendation? Follow the money.