But presumably they have delivered (or will deliver) the services requested. It's not a subsidy if it's just a government agency buying something.
> A subsidy, subvention or government incentive is a type of government expenditure which redistributes from tax payers to individuals, households, or businesses. Subsidies take various forms, such as direct government expenditures, tax incentives, soft loans, price support, and government provision of goods and services.
SpaceX benefited from the italicized items in this definition.