Oh, wait, you answered that - export as MP3 if I really want an MP3. I do indeed - it's the only format that'll play on the Shuffle, isn't it? (Or is it?)