Huge progressive jackpots are often mutual between multiple casinos