The total number of coins held by every BTC address are always known because it's part of the public block chain that every participant in the network holds a copy of. The guy's 8999 BTC are visible in this chain, he just doesn't have the private key to the address, so they are unusable. Counting the total # of BTC that has been awarded is simply a sum across the block chain.