Thought I'd add some clarity re Alamanda. Others have suggested that it was run as individual rental units over the past few years and is now being converted back to a hotel.

Prior to Irma, though Alamanda was run as a hotel, each room had a separate owner. It took a long time for the owners to decide how to move forward after the 2017 storm and reconstruction was slow. Most units now have a new owner. Though they announced that the project is complete, many owners still don't have their keys as minor work is completed.

My understanding is that owners wishing to rent out their units will do so through a service like VRBO or will rent directly. Hope this helps.