It might be a small percentage of the pentagon’s budget. But it’s still $5.1bn of taxpayer money being reigned in here. It’s $13 per person in the country. You could do an awful lot of good with that kind of money - from space programs to science funding.