Total quantity of casinos where we have found Hot 5 Deluxe