Do you regret it now? How long ago did you sell it? Did the new owners keep it the same type of restaurant or fundamentally change it? I feel like all that matters so much.