The Destin Jasmine Thai would also be my vote. They grow a number of their own spices so they can get the quality they want and still hit their price point. I'd also tend to head toward Destin in general because you're getting into the Ft. Walton Beach strip mall Thai restaurant belt, and the competition among all those different Thai restaurants tends to keep quality higher.
(And if you ever want to DIY Thai food, lots of Thai-Filipino Asian markets in the Ft. Walton Beach area as well)