This seems like the only sensible answer here. Yeah, I hope so. Do you know how they might replace sections of the pipe in the future if they need to? Seems like it'd become quite an ordeal compared to normal pipe replacement. Not to mention the absurdity of people losing internet when a water pipe bursts!