It's several times more than that when you add up all the related divisions that are purposely separated.

ie. Homeland Security is military. Not part of the Pentagon budget.

But 2000 balloons would be a billion dollars if they keep using sidewinders because "they can so why not".