I need to cut 3 4mm holes in my porcelain tiles to enable me to fix the channel for my shower screen. The tiles are 7/8mm thick, was wondering what drill bit to use? Would a Masonary do the job considering the smallness of hole or should I use a tile drill or core drill? If core drill how can I keep the bit wet? I will be using a variable speed black and decker power drill, cheers