After our overly exciting travel from Panama City to Destin on April 10, we slept soundly at anchor, even with the creaking anchor bridle in the somewhat gusty conditions. After breakfast, we took the dinghy to shore. Last time we were in Destin we had trouble finding a place to tie up the dinghy--all the docks (and the entire shoreline is filled with docks) have "no docking" signs. We previously ended up docking at a gas filling dock; the folks at the associated restaurant said it would be fine for us stay there for a couple of hours while we ran errands.