If they did use the proper coolant and you did have the green stuff already in they might have just topped it off with the Benz coolant and did not Dona full and complete flush.

Zerex G05 is only $13 a gallon, go get some.