On our way back, we stopped for a few hours in Pensacola Beach. We thought we left Destin early enough to get in a little beach time and beat the tunnel traffic. We were wrong, but we enjoyed our last hours in the sun and sand. My question is, what did people do before they had umbrellas and spring-into-place tents? I don't remember having so much gear when I was young.