Last week when the first Vera Rubin Ridge drill-hole attempts turned out to be too shallow at ‘Lake Orcadie’, discussion in the team turned to the question of, ‘How hard is that rock?