The U.S. AHPC dealer told me that the first U.S. AHPC F16 Viper has been delivered to its owner and will be sailing in this race. I was told that it has a carbon mast. Has it been seen in Gulfport yet?