Well, it is certainly not a show stopper, it is not a problem for me to convert to mp3 after the wav is rendered.

But! If some additional codec is required to be able to render to mp3, the render to mp3 option should be grayed out if it is not available. Having a program freeze that requires the program manager to kill it is not good behaviour IMHO.