so someone has a advice on how strong pipe liner are? Its for the main drain pipe I have no idea about the details but my drain pipe had a huge fucking hole in it through which gravel like in pic penetrated and the plumber fixed the pipe with the liner. I am wondering if I should remove the gravel or will nothing happen? The pipe is 5m deep below the gravel layer ontop isn't covered by anything its just a walking area right next to a house wall. The dude who did the work said not to care but that seems kinda strange to me. I got another dude to look at it but he agreed as well not to bother.
I think the original hole happened because the retard that changed the water pipe which is 2m above the drainage used the pressure hammer and made some cracks in the old pipe (>50 year old I think) could that happen with the pipe lining as well?