Am taking DS to see Lion King on Friday. We need somewhere reasonably close to have a bite to eat beforehand and meet up with a couple of friends. DS is 9 so no child friendlyish would be great. Any ideas?