Have a leak in the supply pipe, job involves 10.5 m pipe replacement, connectiong to house pipe system, pipe runs under a crazy paving drive, got estimates which all claimed that two holes would be enough and a mole would be used to install new plastic pipe, job then finished by replacing crazy paving to original state (or as close as possible), quoted £600 plus VAT (North London), does that sound right?