Hookmountain Clanhold Mines?

[bonebrah]

I see on the map for Hook Mountain Clanhold there is a section that says "Mines" with some mine tracks. Is there supposed to be a map or something if the PC's choose to go that way or am I to nudge the PC's not going into a mine full of ogres?

[mousmous]

I did not get the impression that there is supposed to be a map or that the PCs should go down there, as there isn't anything in the mines that moves the story forward. I nudged my players away from going down there.