I gave up. Cross post to http://www.reddit.com/r/Bitcoin/comments/2yzqit/crack_bip38/

Private key is listed there