At work today, I was stuck with a situation in which I had to rename the extension of 250 files from .movie to .tga I stumbled across this app today (freeware) that saved me 30+min of retyping file extensions. Aside from renaming extensions, this app has about 10 other renaming options. It's extremely robust, and beyond…