re: #461 Dr. Matt

An agency of about 15,000 people getting their budget cut by 70%. That means well over 10,000 people losing their jobs.

12,397 according to the chart littlegreenfootballs.com