I doubt he Will ever use those coins. He probably already destroyed those private keys and they are now lost.

He probably has a personal stash of his own, that he mined without any correlation to his "Satoshi" identity