Was sorely disappointed to learn that the Donkey Diner closed, as this was a favorite breakfast joint for us. Any word on whether it might open under new ownership?