All of this is good advice, but I do want to interject a hypothetical into the discussion. It's possible for us, as DMs, to get a little rigid in the way we think about our own worlds (again, I'm not saying this is the case here, just that I think it's common). If a player wants to hack a hole...