Was that the result of the last-minute "black box" change? I never heard the result of that, so any light you shed would be welcome.
You can read more about their involvement here: http://crypto.stackexchange.com/questions/16/how-were-the-de...
Thanks for the pointer.