That's an awesome video of a phenomenal engineering project!
Hah, someone will complain!
The first guy at the dig site was in a cave without a helmet. The first two guys shown on the surface *did* have helmets!
Anyway, thanks for posting. There sure better be a good reason to go to that much trouble, and I sure hope they find a lot of cave!