This information will be of use to others I'm sure - thanks to someone on ME who provided the info
The Quarryman's Arms have copies of the surveys, (three sheets cover the whole of Box), and you can also hire a key from them to gain access to the mine. Access is not a problem either from 'Back Door', (which will get you to Cathedral quickly), or Jack's Entrance if you fancy starting in south
Mike