I just had my sump pump replaced. Near the bottom of the discharge pipe is a tiny hole which is shooting out water as the pump is dischaging the water out of the pit. I did not notice this type of hole on my last discharge pipe. Does this hole serve a purpose and does the plumber need to come back out and correct?