My Old House Part 2: Question for the plumbers

Thanks for the replies guys. There are no trees, just a bug bush that we were planning on removing in spring anyway. We have about 15' of line to the sidewalk. I'm pretty sure the main is in the middle of the street. The first quote was just a short, 5' replacement (which will probably turn into a $7k 15' replacement). The $9k quote was for the same replacement and the inserting of a sleeve into the rest of the pipe all the way to the main. That sleeve is seamless and guaranteed for 50 years.