Thanks. I actually don’t know much about pipelines or diving.

I kind of assumed that it would be possible to cut into the pipe to free the divers. Since it’s such a large pipe, I don’t think cutting through the divers is a big concern. But, I’m not sure what depth this pipe is located at. While having a ton of water rush into you is not ideal, if it’s not so deep that they are crushed by the pressure or can’t resurface before running out of breath, then it seems like that would’ve been that appropriate solution.

It seems to me that the company thought it would be cheaper to flush the bodies out with water than to cut into the pipe and have to repair it later.