Just talked to a friend in Destin. Power is on most places - just a few locations without but expect it back on in the next day or so. His comments were that Destin is in great shape! No real damage to speak of other than beach erosion. Most restaurants, shopping centers, grocery stores will be back to business as usual by middle of this week. He said Ivan was a "10", Dennis is a "3". Go on your vacation and have a wonderful time. Destin needs your tourism loyalty.