How many have been minted? Isn't it capped at 10k?