Does high pressure water jetting damage pipes