That is such a relief, I really didn't want to change head gasket. Is it normal for it to be coming out only one pipe though? I mean it comes out the other pipe, but in the video you can see it's a couple drops on the ground, whereas on the other side it's more like a puddle.