No we know it perfectly well: It's spent on gold-plating and avoiding corruption in procurement by having an extremely oversized bureaucratic apparatus. The gold-plating is a matter of taste, as to the bureaucratic overhead, I sometimes wonder whether it wouldn't be cheaper to just out-bribe companies.