Fair. I think that was for HLS rather than the launch systems, but I guess if it’s already been disbursed, it’s probably all commingled.

But that still means it’s not just taxpayer money, it’s mostly theirs. They’ve been raising equity rounds this whole time.

It hasn't been disbursed yet (entirely). They get rewards for certain accomplishments.