Visiting Panama City, and Destin Florida first week in May

Will be visiting Panama City, and Destin Florida for the first week in May.  Do you all know of any good
gastro-pubs that we can enjoy?

We have been to McGuire’s Irish Pub ( mcguiresirishpub.com ) in Destin and really enjoyed it.

Has anyone been  to:

Hofbräu Beer Garden - Panama City Beach, FL
701 Pier Park Dr., Ste. 155
Panama City Beach, FL
850-235-4632

If so what did you think about it?

I have been to Helen Georgia during the Oktoberfest and actually was disappointed with the Beer Garden there. 
The beer and food selection had a lot to be desired.  The band and dancing was great.  We did go to a German resterant which we liked a lot.

Old Bavaria Inn
(706) 878-3729
8619 Main St, Helen, GA 30545

For the Love of Beer

I enjoyed a visit to the Mellow Mushroom (Pizza) while in Destin last year. They had a good selection of microbrews including Sweetwater IPA on draught which was awesome with their yummy pizzas & the kids loved it too which afforded me more drinking time!  :wink:

Mellow Mushroom
http://www.mellowmushroom.com/#/store/menu/destin/bar