My Old House Part 2: Question for the plumbers

Once again thanks everybody for being so great and thanks CA admins for creating such a great place for these great people to congregate!

For those who didn't see my Electrician Question thread, I recently bought a 90 year old house and am discovering problem after problem as time goes by.

The latest to hit us was sewage backing up from the crawl space drain. I had the plumbers out today and $1300 later, we can flush again. Only problem is that we took a camera look down the line running out of the house and not 2 feet beyond the first turn we saw a 1.5" thick root that had broken the line. The camera could only go another foot past that root when we saw another break in the line.

The end result is that they are quoting me $5500 for a fix of that immediate area where the break is, and $9000 for a complete line "sleeving" from the house to the main. NJ is wacky in that city responsibility (legally) is only for the main. Homeowners are responsible for water and sewer all the way to the main.

My question is this. Does this sound reasonable?

Access to the line to the main could only really be achieved by digging outside the house. The crawl space limits the machinery they can use from the existing access points.

Once again, thanks for any help you guys can provide!