Yep, I agree that Florida sale is not encouraging. I found this domain at expireddomains and saw it had the .co developed and a decent search volume. I didn't find similar domains at namebio, but forgot to check at GD. Probably the best will be to contact directly several resorts.
Thanks.