Maybe Evan or InternetApe could talk and offer him to be part of the code audit after RC4. He is very interested in anonymity and for sure we can get a very valued an unbiased analysis from him.