Yes, they did fix our pipe.  At least it appears that they did.  I'm not sure whether they actually attached it underground, and I'm afraid to tug on it to check, but I ran water throught the sump and it came out at the curb, so I'm going to leave it at that!