That would be a very good thing to have, I was drilling 16mm holes and using the drill in one hand and a syringe filled with water in the other to keep things cool, when I could I pulled the tanks out and make a puddle of water and just drilled in the middle of that..
Josh I forgot to tell you it takes ages to grind through, don't put too much pressure on or else you will just eat drill bits, chuck on some ear muffs and be patient. Also apply stuff all pressure when you are about to break through otherwise it makes it a bit rough on the way out.