We are making a return trip during the Shrimp Festival and have been to the Golden Grouper (love it), Happy Tomato (an oasis on a hot afternoon), Beach Street Grille (ok, a bit too fussy for our taste), the Crab Trap, the waterfront and Horizon Grille (superb!). Any new restaurants open up? Any favorites we have missed? I'ave been wanting to go to the Florida House, but the rest of my party is squeemish about "boarding house style" food service. Can anyone elaborate? Thanks!