. . . "Up to 5,000 slot machines and 250 table games, such as poker and blackjack, would be allowed." . . . .