I saw the RC from similar perspective as Matt... just missed it flipping but sailed right by just after it happened. When they got back to the beach most of their battens were poking out of the front of the batten pockets but that was all the damage I saw.
I got a chance to talk to the Tornado guy... he's from Syracuse.. bought it from Texas years ago, I think he said it was almost 30 years old but gets sailed rarely and when it does is always on fresh water. He sailed with his young son... probably about 10.