Off to London - will be arriving at Kings Cross about lunchtime. Can anyone recommend somewhere to eat around KC? I'll be with 11 year old DD.