No joke.
 There is video where he says that he has 265K DASH and he is giving 4/5 of it to team/community to stop stories about instamine and centralisation.
He said he has that much, not that he instamined that much.
 Also in video he said that he had 3 computers mining at instamine time so he was very small part of instamine.

Earlier in this tread you can find few gus talking how and how much they instamined ( with photos ), and comments about Bob Surplus who at the moment had "1000+ BTC's from DRK instamine..."
Also you can find early in this tread that Evan wanted to restart coin ( when instamine happen ) but community ( me too ) wanted to fix it and continue. As he did.
It is 3 years since and those coins are sold so many times that now it is even stupid to mention...
I don't want to waiste my time searching it but I do remember. It is all here @ tread.