NASA had roughly $3B to spend on this specific part of production.