I would have thought that the seas and the wind would have made it easier to right it...although a lot of Tornados don't have sealed masts do they...that would have made things considerably more difficult.

I've said this before but I firmly believe that when power righting a catamaran from turtle, tie the line to the top (submerged) side of the mast post and tow the boat backwards very slowly and into the wind if possible. It will pop up like a porpoise. Trying to pull it over from the side leaves more potential for damage and for the boat to spin at awkward angles.