National Weather Service just announced that we did not experience an
official tornado this morning in Naples (where we are in between WDW visits). Minor damage to external house structures, palm and tree branches all over, power outage. Coulda' fooled us.
All the best.