Batch rename library items?

programming flash
1

Is there a method, technique or third party item that will allow you to batch rename items in a Flash library?

So, “mcHappy” becomes “mcHappy10-2”.

Thanks,
Loren