[enkid]

Totally unrelated to the discussion. VA budget and the DoD budget are different line items and this is not what the OP was talking about, so does not matter in this context.