Are we sure that the government agency really understood what happened here? It may be that a single laptop was doing a file vault update or something, and they jumped all over the place.
Commenters seem to think their servers were being remotely encrypted as well, but I didn't see any info to that effect.