So the bottom line is that the intel guys have their own major fund, unrelated to the ops fund?
HipShot, you're a skilled questioner, but you've taken me to my limit of knowledge on this subject. All I know is that the left-over funds apparently go back in the kitty before the execution of the operation. The rest is speculation.