They have renovated Restaurant Amadeus - the buffet stations are now in the back and not the front, and the space seems to have a better flow. They still have truffle omelets and views of the koi pond, though.