[X86BSD]

That’s not quite accurate. They also have the US paying largely for their defense needs. That saves them a ton of money.