. "The thing is ... ultimately in the federal government, capital is scarce, so a dollar spent on real estate is a dollar not spent on something else that may be more fundamental to the federal go" . . .