I thought about this, but ultimately decided to create the 8dot3 names on the fly, when and only if needed. Don't need to create them if they already exist, or if the original filename contains no unicode chars. Also, creating the 8dot3 name without doing a copy seemed a bit safer.

Thanks for your help.