Kid was 2 hours from home and PS pump went out. Bearing was coming apart.She was blessed enough that People where she worked changed the pump not once but twice. The first new one last night leaked so they did it again today. Very lucky kid while at college! On the road home and just mentioned something about they told her to have me check the coolant! The small light in my head goes off. She called they back to make sure. My guess is they took the top hose off for ease of access. They added green back in. I had Zerex g-05 in it. No idea how much was added back. Do I need to drain everything and start over?? How do I get all of it out? This stuff is about 20$ a gallon ! Minor deal in the long run. She could have been stuck somewhere with a tow bill and shop rate repair. Thankful she works with good people.