Thank goodness those pipeline were depressurized and empty then, At least that's what we've been told. I wouldn't have wanted to be anywhere near there, if the sinkhole happened where those pipes were in the first place.