I know the story mentions Southwest bought some of these planes. Aren’t these the the ones they are going to use to fly to Hawaii? I think people would want to know about that, especially since those routes have been so hyped recently with their launch.