Bear in mind that the default setup for Apple's FileVault also sends a copy of the encryption key to Apple too (associated with your AppleID), where presumably there is access granted to the US government also (willing or unwilling).

If anyone else is curious about this see the recovery key sections on http://support.apple.com/kb/HT4790