Pipe repair and replacement