Looks like 1/2 is best then. Thanks for the infos. Yes I do have a chuck drill then. I think the punch drill bit with diamond dust should work. Can’t wait to get started
The problem I find is that with regular, screw type of drill sometimes the rock just crack. Maybe a burr type drill with diamond dust might not cause such focal force and crack rocks?