While the divers did their thing, the rest of us went ashore.