The plumber was mainly giving me options - there's a balance in how long we're going to stay in the property I think. If money (and disruption) was no object, then the mains pipe would be replaced. Really all I want is to know that if one of the offspring is taking a long shower, I can bop in and out for a fast shower and off to work. But a useful result for a very quick job.