Total quantity of casinos where we have found 9 Mad Hats