A friend asked me what these files are and whether or not you can convert them to Mp3. I did not have an answer for her. I know they are audio files. (They are game sound tracks) But she can't play them. Is there a way to play them and then convert them? Thanks a lot.