It's possible. However, I think the $9 billion is more than just the initial acquisition. I haven't seen the breakdown of the figures, which is also something we should see. But if the initial figure was $5 billion for them, then it could be $10 billion to $15 billion, I would say, over the long term to support these.
Now, having said that, this program is really designed to lower the long-term costs. There is a lot of neat, really 21st century ergonomics and this kind of thing, and autonomic logistics, so it could be lower than that, and I hope it would be. But I am saying you don't know, and that's a scary thing, to buy something whose long-term costs you don't know.