Pat, we double checked in February when we were there, and Antoines is definitely closed. And like you, the last time we were there was after John Pierre sold it, and the meal left something to be desired. It had always been the first restaurant we went to every single visit, and we nearly always went again our second week. We sure do miss it.