Are the numbers right? 15000 players, or is it like half that?