Augmented reality comes to deep-sea divers, thanks to the US ... The setup turns any standard diving hard helmet into a digital information center. If you've ever done any casual holiday scuba ...