We're going to London in October half term and would love to go to some (or one or two) big name restaurants/ foodie destinations with the children (10 and 11) so if you have suggestions they would be much appreciated. We may go for lunch rather than evening meal but are keen to go somewhere well regarded as part of our holiday week. Many thanks for all suggestions,