Casa Marina or DoubleTree?
The TripAdvisor reviews are scaring me off from using some free night awards at Casa Marina over Memorial Day Weekend. I don't mind "a bit dated" and understand it's clearly not a luxury property, but cleanliness and a room that isn't moldy/loud/uncomfortable in some way are kind of important to me. But, the location seems so much better than the DoubleTree, and I do like the idea of being on a beach. I don't need overly attentive management, but worried if I do get a crappy room, management won't care and won't do anything about it. Any advice would be welcome.