How many slot machines does winstar casino have