Perhaps. The question still stands though. Assuming they don't have an actual purposeful back door is there evidence that they have the ability to crack FileVault level encryption at this point or no?