Thanks for the comment. I'm aware there are a lot fewer 'real' players, but the latter number is unknown and not very relevant, as long as there are 'enough' of them. 6000 is an estimated number of accounts playing quite regularly.