Wow, now that looks scary! We were hit by some straight line winds last summer that actually picked up a tent with two people in it (site next to ours) and threw it into the woods. Coals from our campfire were blowing three sites over from ours. I sent the family to the shelter as soon as the wind picked up. Luckily no one was hurt including the tenters. It wasn't a tornado but since then we always find the shelters and make a plan in case of bad weather.
Cliff and Mindy