[arpad_m]

I have an alternative theory, since the top reservoir is not full: the dealership saw an empty lower chamber and topped it up to the correct level with their orange coolant, then for some reason left the top chamber alone. The pink coolant the factory uses is not readily available outside gm, I use orange dexcool myself, too.