Honestly it probably is - but I have no idea how much they collectively spend each year buying our government, so I figured a few billion would be a good number.

The real number is probably in the double-digit billions across the entire defense sector.