Thanks, I looked it up as I didn’t know it was in Florida.
It’s nice on the gulf coast. The people are so friendly, unpretentious and polite.