Leopold is a pub with a local following, named after a nearby former mine.