Quantity of casinos which have placed in their lobby Under the Sea (Betsoft)