Yes, but no doubt some of Lavabit's users are more worried about random or targeted hackers, and not so worried about the US government. No need to give everyone the data just because one group already has it.