I heard that it was being replaced by a Mel’s diner, but can’t find anything verifying that. anybody know?