that would amount to ~1/9 of all solidcoins currently in existence having been destroyed by a software bug 



the following "calculation" is valid only if these 70k were mined yesterday (and not directly after the announcement when the difficulty was extremely low):

i got ~72 SC in the last 24h with my 400MH/s, so he must have something like a 400GH/s rig.

which is a fair bit above the current total hashrate: http://solidcoin.kicks-ass.org/graphs/graphs.html