Planning a visit to London in the coming months. These are four restaurants (among others) at which we are considering dining. They all receive good print reviews (at least the ones I have been able to find, including Zagats) and, other than a few negative comments regarding Petrus, they all enjoy solidly good reputations from my London-knowledgable friends. Your thoughts and comments (pro and con) would be appreciated. Thanks in advance.