$245B for Docs — or Deficit?