I want to add a return inlet in my in-ground shotcrete pool and am seeking advise. What diameter hole should I core drill for a 1.5" pipe? Any suggestions on how to do this is appreciated. I plan to seal around the pipe with hydraulic cement. Is this recommended?

Thanks,

Mark