Pub known for its dumplings.