It's no fun losing a valuable piece of dive gear to the depths, but all that is lost might one day be found—if you know how ...