Thanks for the core drill suggestion, IFN. That's a much better idea than a 2 or 3 inch masonry drill bit.

Only problem is.......with all the helpful suggestions I'm giving her, I may wind up being the one to try to actually DO it....lol

The lowest bid she's gotten so far, for the single suction line alone, is over $1000! I checked out equipment rentals, and it's possible to rent a 3" bit with drill hammer for $160/day.

I think I'm in the wrong business.

Thanks again.