Kasinoiden kokonaismäärä, josta olemme löytäneet Big Thunder