Saw on the news that there's a bit of red tide in the Gulf near Sarasota. Is there any in the Destin area? I wasn't sure if it goes that far north in the gulf or not. The only time I was in Destin the water was perfect except for a bit of seaweed at times.