Does High Pressure Water Jetting Damage Pipes?