The other post here on SB didn't really cover much, I posted on it earlier this morning - I wouldn't have noticed it either
Some more info, basically an expanded version of what was put into the local newspaper(which was brief).
http://www.tallahassee.com/mld/tallahassee/news/10551995.htm
All the other hits I found through Google were the same info, just cut shorter. The NOAA article you've found was the only article that differed at all really - I wonder which is the case. 60-100' isn't all that deep, I wouldn't think...
We have some 100-110' limestone living coral heads in the northern Gulf, granted, not so big.