Hey thanks guys.
I didn't realize that an extractor tool existed. I have a feeling that's the key that I've been missing in a lot of the things I've been unable to do.
I was just wondering whether there is a way to edit the AI pilot names. It seems to me like it would be a simple matter of editing a list file of some sort... but I don't know if that kind of file exists.
I took a pretty thorough look through the knowledge base for this kind of thing, but couldn't find anything.
Thanks for your time.