This means satoshi probably has (At least, has generated for himself) at least somewhere in the close order of 7,000 bitcoins?

Not a bad payout, though I think he underpaid himself, perhaps.