Hi. We're planning a trip to Destin in July. We've narrowed it down to either Jetty East or Holiday Surf and Racquet Club. I was hoping I could get some suggestions on which would be the best pick. I'm a little concerned about the contruction going on at Jetty East, so just not sure what to do. Thanks.