The other problem is that we're trying to sell the house, have it under offer, so are in a bit of a position in trying to rectify the fault and not leave it behind, yet not get involved in any major works and expense! We are glad that the mains leak didn't occur very shortly after the new people...