Looking at the unique DeFi users on mainnet, the numbers are still in the low 4 digits (below 10K per protocol, at best). We don’t expect Gearbox Protocol to be an exception to this just yet, because the protocol is not even live yet! But we also want to make sure the protocol has enough accounts for the first few months. After all, some accounts don’t get closed, some people might open a few at a time, and so on. Therefore, a number of 5,000 accounts to start with - seemed logical. If more are to be needed later on, another ceremony in an auction model could be held, for example, or just deploying from DAO Treasury funds.