No idea about his work, though almost nobody has trouble with mp3 being used for stage BGM unless the mp3 was corrupted, wrong format, exceptional things. Would be kind of strange to say mp3 doesn't work when 99,95% of the scripts have mp3 for them.
OGG is the questionable format in 0,12m, but that is fixed in ph3.