Are there any recommendations for mandolin-related activities in the Destin/Fort Walton Beach, FL area in mid-July? Stores, music venues, etc. Gotta be there from 8-21 July and planning to take a mando to while away the time when not in class.