If all your friend wants to do is rename them, find a halfway decent programmer and they can whip together a script that would go through all the files your friend has and name them differently by placing a different sequential number in the file name. This is how most "renaming" programs work under Windows - they simply add a unique digit to the filename.