More: The votes are in: Destin, Schmidt, Hebert, Trammell and Braden win, unofficially Interim City Manager Larry Jones thanked outgoing council members John Stephens and Johnny King for their ...