Re: tiny leak around water pipe in basement - sump pump needed?
Personally I don't think you need a sump pit and pump since this is a localized leak and somewhat easily repaired.
Using hydraulic cement on the inside really won't resolve the issue for long or at all.
The thing here is the water pipe and the concrete will expand and contract at different rates. Trying to patch the leak with hydraulic cement will eventually fail because of the expansion and contraction differences.
To be honest the best fix for this ---- from the outside dig down to the footing around the water line. Have a company come out to inject an epoxy from both the exterior and interior around the pipe.
Have a water proof material along with a drain membrane applied to the area outside and back fill.---- that should resolve the issue.
"" an ounce of perception -- a pound of obscure "