Thanks guys. We were very lucky. It was a strong microburst, but didn't make it into a tornado. If it had, given that it went straight down our street ...
We have a couple of trees down, my neighbor's gazebo was blown away taking his back deck with it and all the houses are absolutely plastered with shredded leaves, which I imagine will take power washing to remove. Could have been a lot worse, though I think we got hit the hardest in our area as all the local news trucks are setting up down the street.
Some more pictures attached.