Destin is in Okaloosa County. Maybe you’re thinking San Destin?.................
Yes, and you’re clearly more up on the local political boundaries than I.
Mea culpa, but my point stands anywhere in the area.