That sucks... I thought electricity was supposed to disperse pretty quickly in the vast ocean and its impact minimal. I guess this doesn't apply if it hits an air tank.
i think the odds of something like that are really really slim...very unfortunate but I believe the odds of someone dying during scuba diving is something like 1 in 200,000