Whenever in doubt about whether some mystery fluid is coolant/antifreeze, SMELL it (but don't ever taste - especially concentrate!). Dilute or concentrate coolant/antifreeze actually smells pleasantly sweet due to the ethylene glycol base. PS fluid smells like petroleum. Avoid extended inhalations, but a quick sniff is harmless. Also, when going from extended life fluid back to regular green or to one of the extended life products from regular green, do a complete flush back to clear water (preferably with distilled or de-ionized water) before refilling with the alternate juice. Yeah, doing that's a pain in the butt, but it saves later, more involved, cooling system problems.
I noticed my local Walmarts are no longer carrying Havoline DEXCOOL, but they are now carrying a SuperTech branded extended life (5yr./150,000 mile) coolant/antifreeze concentrate. It does not state that its DEXCOOL/GM Approved, but the formulation listing on the reverse side of the jug reads exactly the same as Prestone's DEXCOOL/GM Approved coolant/antifreeze concentrate does. Someone else on another thread indicated that the new Walmart extended life juice is not orange, but green instead, and like Prestone DEXCOOL/GM Approved juice, specifically states that it's compatible for top-up with ALL extended life formulations. My speculative take is that Prestone makes this stuff for Walmart, but avoids problems with GM over the DEXCOOL license by not calling it DEXCOOL or using orange dye. (A rose by any other name is still DEXCOOL...) $5.64/gallon.