Quantity of casinos which have placed in their lobby Mermaid's Pearls (RTG)