Looks pretty similar to yours, mostly... Mine is less-complete at the moment but also tries to break some agencies down by sub-agency (eg. IRS-specific stats within the Dept. of Treasury). If anyone would like to contribute, let me know and I'll make you an editor on that doc (my email is in my HN profile or on that github project).
https://docs.google.com/spreadsheet/ccc?key=0AsyXWqYXia4PdGl...
Looks pretty similar to yours, mostly... Mine is less-complete at the moment but also tries to break some agencies down by sub-agency (eg. IRS-specific stats within the Dept. of Treasury). If anyone would like to contribute, let me know and I'll make you an editor on that doc (my email is in my HN profile or on that github project).