Total quantity of casinos where we have found Hot Lucky 7s