Just for the sake of clarity... for exporting, if the MIDI file has been opened via the above so it is loaded in the TTS-1, export steps are:
1. Hit Ctrl-A to select all
2. File->Export->Audio...
3. The pop up looks like below. For the sake of time, you want to name the file, choose "Wave" as the type, and depending on playback, 16-bit is probably fine (files are physically smaller than 32 or 24 bit, but you can choose 16/24/32 there).
Can cross the other bridges in due order, but as you are pressed for time I will stick to the basics for now.