Nope, tents were in the field. When we saw the storm coming, we got everyone under the pavilion, for what little protection it offered.
My two sons slept out one night in a tropical storm. It was the last night of the month and they were working toward a year round camping award patch. (One night a month in a tent for a year)
The storm dumped 12 inches of rain, so I made them pitch the tent in our carport because the ground was so saturated it would have damaged my tent.
Great bragging rights.
Ha ha. Good for the carport camping badge!