Filtering by player name is probably a safe alternative. If servers ignored players whose names start with "Bot," and ignored spectators, those two changes should give us accurate player counts.