I will let you know when we are diving the Destin Area that weekend. I like all the areas you mentioned and really liked the springs until i started diving the Jetties more. Destin Jetties are a hike, but we started seeing a sea turtle consistently and were having great luck out there in general. Panama city jetties offer way more in the visual aspect, but Destin is nothing to ignore. Also, laguna has several octopuses you can see almost every time with a flashlight and the sea horses are always fun... A simple dive is the Destin Bridge, not to many people like it, but when the tide is right, the vis is good and the crabs are always entertaining, plus its an easy going 1+ hour dives. I liked going there to unwind and see the sights on the surface.