It's true that it's a pity.... Maybe they have better things to do on the next game of the month... Or maybe we have to wait for the millionth grid! (LOL)
I was far from account with the holidays... Let's say that the 10,000 grid will arrive by August 24th.... Unless the players come back from holidays before!
For the credits offered, I don't think the total cost of such a prize to all players was calculated in the amortization of the game at the beginning... and then even if it means doing something, I hope it will be more participative (although I would really appreciate the gain of credits!!!!!)