I've heard of these magical drill bits that drill thru hardened files and similar materials with just a hand drill. I've not seen these personally though Youtube and google does come up with a few hits. Does anyone here have a set? Any firsthand knowledge if these work as advertised?