ALTER TABLE "LeaderboardEntry" ALTER COLUMN "elo" SET DEFAULT 800;