Rock-Boring with Diamonds