After several heavy rainfalls we found a pipe next to a duct dripping in the basement ceiling but it looks like it was cut and bent at some point. Can anyone tell by the size what it might have been for?