My family will be visiting the Pensacola area in November. We are looking for restaurants that serve lionfish and would appreciate any info/recommendations. Do local seafood retailers offer lionfish, and if so, where could we obtain it? I am aware of the problems lionfish present to area reefs and would like to be a part of the solution (if you can't beat 'em, eat 'em). Thanks!