Существуют или нет мы не знаем, но 13млрд. баксов бюджет на 5 лет у них. За эти деньги можно было Карабах 2 раза выкупить - просто для понимания пропорций.
а что, в космосе кроме как инопланетян ловить - других насущных задач нет? ну там спутники и борьба с ними, мониторинг угроз и т.п. скучные вещи.