Was talking with a co-worker the other day. He has a friend that worked for Lear Jet and he used some sort of pink crystals on his drill bits. He said once the bit heats up just a bit, dip the drill bit in these crystals, then drill away. He swears that this product was absolutely amazing at aiding in quick drilling and bit life. Anybody ever hear of this stuff or use it?