Please read before spreading FUD - the funds are simply stored in an offline wallet so that the bulk of them are safe in case the faucet is hacked. Having 25k in the faucet makes it a target.
I'll belive in that once faucet balance hits 0 and those 24,000 coins or major part of them replenish the hot wallet.