I would guess so. Hell, I've probably made 10k bets there, and they're just one of my outs and I'm just one person. A # has to be assigned regardless of whether it's a 3k bet or a $2 bet.
i was wondering the same thing the other day, but mine was more about daily count, i posted a wager at around 9 in the morning and another one about 3 hours later and the number difference was about a thousand, then an hour after the second wager my next ticket number was in 100 or 200 hundreds, they sure keep the count. So yes