A stream runs grittily over stone and splashes where it drops, loose rocks plunk into it, and bats chitter above a network of branching passages. Nearly six minutes of going deeper.