There are approximately 8,500 federal employees in our congressional district. Lose them and our business community sees in excess of $1.5 billion disappear from our local coffers. Another fact to chew on: the federal workforce as a percentage of population is nearly 20% less than it was in 1978.