Isn't that a little "pushed"? i mean I though a 128bit key was hard to crack let alone 4096bits (even with a farm of PCs... :D)