[pcr0]

It's usually 50-200 users online at a time, and out of that maybe 20-50 are chatting at least once a minute, so no, not 9000 users actively chatting at once.