I suppose the obvious question to ask is what you intend to do with it!
Ropes seem to come in lengths of 50m or 60m, which - to my mind - translates to cutting them into 20m/30m or 25m/35m or somewhere around there.
In reality, a 20m rope will be enough for most purposes and the fact that you've not said your 17m is too short possibly backs that up?
Given a bit of sensible rigging, I can't see that a 30m rope will be defeated by much underground in north Wales, again subject to that rigging proviso.
I've only seen a much bigger rope used in slate underground on one occasion, which may have been a 50m or 60m rope.
The surface is something else altogether, but the use of SRT in quarries seems to be pretty uncommon, mostly ruling out the need for a 100m rope!
Hello again darkness, my old friend...