Will the Boring Company be tunneling blind? Only a few rock samples are planned.