It would be helpful in Analysis - Use Proximity - Create Buffers not only to have the 'Overlap' and 'Dissolve' option, but also 'Split' like in 'Create Drive-Time Areas'. With a choice of a large enough buffer distance, Thiessen polygons could be created. In addition, I'd like to be able to constrain the extent with a study area mask ...