Quote Originally Posted by duke67 View Post
...but I think it would also be interesting in mp3 audio. ..
Yes .wav is a big file, but better for recording. MP3 is a proprietary format.
You could easily use an application to convert. At the moment we only have audio export using iReal book for Mac. If you have this, you could use Garageband to convert to MP3.