Anche se già risolto, segnalo il programma Batch File Rename Utility, che mi è servito in un paio di occasioni a tale scopo.