UPDATE: Good news. It was a small fire and it was put out. We'll get more information on this later.
There was no sign of this when I left the pool area around 11:20 or so this morning. Just before noon, fire trucks raced through downtown on their way to the beach.