How to Choose Between Repairing or Replacing Pipes