I was there last month. I hate those stories. Tomorrow when I swim out into the ocean to go surfing it will be on my mind. I don't think they've had a shark death in the gulf in years. My statistics professor reminds me that I'm more likely to be killed by a vending machine falling over than a shark attack - it makes me feel better.