It was DHS that upgraded the 7000 keys, not DoD.  DHS only has the potential for 50k users, so a 15% penetration rate is pretty good when you consider not all employees would work remotely.

If we got 15% penetration of the DoD's 700,000 users, we'd end up at that magical 100,000 total. Strange but true.