My personal advice, flush and fill with OEM fluid. Don't mix the two, as they have different properties and might not mix well. If I am not mistaken, I have always been advised not to mix. If the system was back flushed, you should not have green. Running water through the entire system avoids that issue. Ask him to not only do a DRAIN & FILL but a BACK FLUSH as well. Any ASE Tech will understand the difference in the two.