My favorite is lunch outside on the dock at The Boathouse- wide variety on the menu and great view - fun to see the amphicars launching. That’s said, don’t think you can go wrong on your list. I’d probably go with Frontera on their back deck - as you can see, I prefer dining outside, weather permitting - and I love Mexican. Raglan great too- they will have entertainment on weekends at lunchtime (brunch) but not during week. I haven’t tried Paddlefish yet other than their lobster guacamole, which is outstanding. Have fun!!