Leaderboard player set stored in redis