LargeEddy
Restaurant is in the same building as Anthony's shaft, the mining museum, but on the first floor, whereas the mine entrance is on the ground level. The adjacent building, labeled Barbara, is not a restaurant, but merely a covered bar area, operating as a part of the restaurant but only in the summer.