Well, by a sort of coincidence, I came across the Radio Shack wire-wrap
tool.
http://www.radioshack.com/product/index.jsp?productId=2103243&cpI even found a supplier in the UK who had one. It is very cheap compared
to a 'proper' hand wrap tool and has a little stripping tool in the
handle. This tool is only about 35mm long and proves to be exactly what
I have been looking for. It reliably strips 30AWG wire and seems to
leave no nicks on the conductor. It is much easier to use than the
typical stripper built into the usual type of hand wrap tool. I may have
to order a couple more for the inevitable day when I cant find it.
Thanks for all your suggestions.
Pete