OK, hypothetically, say you have oh, a thousand files you need to change the file extentions on. Is there a way to do that?