Cut out section of 3" drain line in basement ceiling where leaking and repiped. Checked other plumbing