How many different Hard Rock Casino's are there in Florida?

I see a number of them on ebay and here for sale, so was just wondering.

Thanks

Dave K