A few people were talking about Blue Springs on the dive boat the other day. They didn't mention the manatee there, but did say it was a really cool dive. I'll have to check it out.