John Stevens of Chelsea Speleological Society may be your best bet. http://www.chelseaspelaeo.org/contact.htm
He uses the theodolite data by Peter Cousins and others to drive his therion model, so must have got it in a format which Survex/Therion can handle. Whether this process was automated or manual, I don't know.