Why is the story that Boeing sold them as extras instead of the airlines not buying the option?