That seems like a pretty central part of the full picture, thanks for pointing it out! Here's the Wikipedia article on the black budget, in case anyone is interested. The number cited there is around seven percent. :)