How would you drill a 3 or 4 inch diameter hole in a 1 foot thick concrete wall?

I need a way to have the drainage water from a dog wash station get to our floor drain but there's a wall in the way. Thoughts on how to do this? I've read that a rotary hammer drill is good for drilling in concrete, but I'm not sure if it's meant to make a hole that large.

Apologies - before posting, I glanced at the diagram and saw 3.5", but that's the drain size. The outlet hose is 1.5" in diameter. I was going to run the hot and cold lines through the same hole, but I could run them up and over the wall, which would mean the hole only has to be just over 1.5".