I`m spending too much time on the net lately, this is what I found on the write-up on the Miami-Key Largo Race, on Catsailor.com :

"Bill Roberts holds the race record set in 1990 in a custom-built RC-27 of his own design. Race time, one hour and 44 minutes! That's a 26-knot average over the 43-mile course. To average 26 knots, you have to sail over 30 knots most of the time!"

Ok, so it`s a wee bit BEEEGER than a Tornado.