Since I have experience with ZBrush plugins, I decided to fix this issue as part of my CopyPaste plugin. The fix itself is ridiculously simple—just a few lines of code to write the subtool name into the OBJ file. When the OBJ is written to disk, my plugin parses the file and injects the correct subtool name where it belongs.