I'm curious. Given all the new upscale high rises and Pier Park plans, do you think Panama City Beach will actually become a more upscale beach (assuming you like high-rises)? How will it differ from Destin? What's the word on the west end of Panama City Beach (closest to 30A) which doesn't have high rises (yet?) and seems quite calm with some nice properties and developments. Because we're at Seacrest Beach, we tend to drive out toward Panama City Beach rather than Destin when necessary (e.g., to get a cheap donut or oysters) and we are growing fond of some of the "dives" for very casual dining (that may become extinct soon) and are curious about whether all those high rises will actually get filled.