Looking for recommendations for things to do (beyond the obvious) and also restaurants that both kids and adults will enjoy. We will be there October half term. Many thanks