I got access to fixed games since August. If you are interested in working with me and seeing proofs, you can send me a private message.