Now you know that you need a pocket drill.