Yeah, this was on the Florida news yesterday. Very sad, I remember going there when I was much younger, great atmosphere, great place.
I actually edited the wikipedia page, stating that it's closed now, but it's future is uncertain, its waiting for loans, or other buyer's.
I hope it's either one.