User Wins a $15.5 Million IGT Progressive Jackpot on Christmas Eve