Relax, 100K vs 22K is a number so small as to be meaningless. The 100K Obama got wouldn't buy him 30 seconds of network TV time. Obma's share of that pie amounts to $20 each from 500 assorted DOD federal employee union officers, and there are a shitload more than 500 of those out there. Federal employees do tend to go more for the Dems than the GOP for the obvious reasons involving Democrat spending habits, but much less so in DOD, which has the most Republican-voting civil service workers due to the large number of vets and the military culture. You also have to take into account that a lot of Conservative DOD employees donated to someone besides Romney in the various primaries, while there was no contest on the DemonRat side.