I am considering lining some old cast iron pipes, in lieu of dig and replace. The process appears to involve cutting open the existing main, pull a liner through, then inflating this liner with water or steam. Once the liner cures, a robot runs inside the pipe and cuts holes at the service...