As another commentors mentioned using a core drill will definitely be an easier way to go. Amazon has a 16mm bit for cheap, and should be fine for just a few uses that you need it for. Also use tons of water while drilling to help cool and clear debris.