Private Sewer Lateral - buyer or seller?

[Natalie Hahn]

We are selling an old house in the Bay Area that needs a full replacement of a sewer lateral (about $7k). This is a requirement by the city during the sale of a house and we have to be in compliance before transferring title. In your guys' experience, is this something that can be left to the buyer, or it is better if we pay for the repair ourselves before listing the house?