Yeah, I already found and watched that same video.
But do you think they would take that apart just to change/flush coolant ????
As far as I understand what my daughter told me that the mechanic said, the leak is that short rubber hose and one of the clamps was loose and it blew off. If I had been there I
might have been able to figure it out and
maybe even get it back together and tighten the clamp. But she said "pink" and I thought "ATF" and expected that one of the transmission cooler line fittings was leaking (they replaced both at the shop also).
I don't work on stuff much anymore if I can help it. For one thing I don't know much about the newer vehicles and for another it just hurts so much. I did replace the oil pressure sender on the jeep recently but that was a trivial job. I hired a guy to come replace the pitman/idler on my 89 pickup, though a couple years back I replaced a ball joint, and later both front axles.