He used a different version.
How do you know? Did you ask him?
Evidence suggests that the extra nonce appears to be in line with the behavior of the Bitcoin-qt 0.1.0 at that time. You cannot find a distinct pattern with the ECDSA public keys present, the patterns with the private key will not hold to it's corresponding public keys and there isn't any evidence to suggest that there is.
He won't move his coins. We will move them.
Ok. Believe what you will. Do update us when you figure out the private keys.