When I first read this I was going to comment about only costing 1K for 15 sharks, and was surprised. Then I re-read it. 15K is definitely not cheap. It's a shame to see that happen, but I'm sure they will learn from this and it will definitely prevent it from happening in the future, probably even at other aquariums.