Ten restaurants, pub, and disco.
Almost a dozen restaurants.