Hello,
I don't want to start talk about Green or Red coolant.
All i knows, it's Ethylene Glycol.
I will be very mad, if i requested that idiot to use red and he agreed, then you get green.
If I were you and picky, I do it by self. Drives for 1-2 days, and do it again (another $16) that will change completly from system.
Sorry to hear the bad news.