the drill that bores into your Martian rock