Looking to take the family to the gulf coast for the first time this summer in July. I'm considering anywhere between Gulf Shores & Destin. Most of our time will be spent at the beach, but don't want to be too far removed from other activities. Kids are 9, 7, 5. I know there are condos/hotels along that whole stretch, but I'm curious as to what one area offers over another. Thanks!