You're right, typically filename.###.ext is the better way to go. You can try searching online for a batch renaming app. If you're on a mac, I believe you can do this in automator. If you're on linux, you can look for a bash script to customize, I have found that very handy on many occasions to batch rename many files. On windows, I'm not so sure, but do a search.