Yep, Gulf Coast in Santa Rosa sound near Pensacola.Gulf side of Florida? That water color looks like Venice.
I dove this area for over 30 years and never knew these guys existed. One day I was just mucking around and testing some gear when I saw my first one. Now I visit them pretty regularly.