100M users, each rate-limited at 1000 requests/minute, stored in Redis with one counter per user per minute window. Hot keys per second?