In the end we ended up using Blue Devil Head gasket sealer. We could not detect what caused the issue, we suspected that flushing eroded away some of a failing head gasket. It sealed the heater also. We told the customer to drive it and return in a week to rec... Login to read more.