It would be interesting to know if NSA have back-door access to AES key on consumer disks (because encrypted AES key copy could be made by using asymmetric encryption and stored on some undocumented part of the chip). If yes, then only couple million people could get access to your encrypted data 🙂.