He used a diamond drill on it.

Only a diamond drill or saw could do the job, or magic- No!

It would take a diamond drill to dent that metal.

The key technology of the diamond drill is the actual diamond bit itself.

They had brought a little hand-cranked diamond drill with them to bore holes in the hard granite and black powder for blasting.

"How do we drill diamond-bearing rock with a diamond drill?"

But I don't think the diamond drill could ever drill through the rock it's in.

Primitive tools, not diamond drills, had been used to cut through the rock.

Once again the material that blunted diamond drills swirled.

I knew your mind was a razor, but I didn't know it was a diamond drill, too.