What is the status on rxgk and getting rid of DES keys in the afs server keyfiles? plain old DES keys are getting close to being trivially easy to attack. What are the risks that someone could stiff AFS traffic and 'recover' your AFS Keyfile?