Congratulations!! I hope you had a great time.
I grew up near Mobile but have never visited the beaches at Pensacola. Yes, I am willing to admit that the water of the Gulf is much nicer along the Florida panhandle than it is on the Alabama coast (though the beaches are still very nice)
I know a lot of people enjoying diving off Destin.