“Is there a way to choose how the file is exported from the recording device? Looking to export as a MP3.”