Restaurant specializing in mushroom dishes.