[s-cars] antifreeze/coolant color

[stefan13 at att.net]

My intention is not to start a debate over this.  However, during the recent timing belt install, the tech put in the green/yelllow stuff of unknown origin (he is now on vacation).  I know the official correct color is blue.  Do I have to insist on having this stuff flushed out, or can I leave well enough alone.

Thanks
Stefan

P.S.  I had the thermostat and the temperature sensor replaced - water temp gauge now reads normal again.