that was my inference, but i don't have much information about seal training, so i could be wrong. it's a little irrelevant though because, as i said originally, the description of the type of brain damage should rule out diving as a cause