I should mention that the section is about 12–15 meters long. Has anyone had similar trenchless repairs done specifically for private homes? I mostly see articles online about major city thoroughfares, but do companies take on such small residential jobs? How much do they cost, roughly?