I'm considering purchasing iRealPro for OSX. I see you claim to be able to export MIDI audio files. My understanding of MIDI was that it was data, not audio, although for all I know they've updated MIDI to be able to embed audio as well. What I want to know is can I export MIDI data files from IRealPro OSX and import them into GarageBand so that I can edit individual notes that were exported in the MIDI file?