About 5 yrs ago our family rented a house in Dune Allen Beach called White Sand Dreams. We rented it the following year but our reservation was cancelled because it needed repairs. Is anyone familiar w/ this property & can you tell me if it has a different name now? It was gulfront. I've searched many sites & haven't come across it. Any help appreciated!