900 million could just hire a lot of skilled engineers and air traffic operators that can be well paid but that doesn’t sound as cool and futuristic as AI