Where did he state his hash rate? Why was he buying up 20,000 coins at a time in those early days if he already got 40% of all the coins created? And so many people knew how to rent amazon servers to mine via cpu. There were so many people that knew and were doing it. I think you are way off. The highest estimate I could come up with was that Evan has 200,000 coins, including the ones he bought, minus what he spent on awards and other things. I think also, that he is more than worth the price.
I don't recall exactly where I stumbled across it, I was researching Dash 6+ months ago.
I did however find a breakdown from another user who shows a similar result to what I calculated (first 10 hours):