If the mp3PRO codec is proprietary then licenses must be bought etc... which is neither good for the company or the end user. With that said I'll pass your suggestion on to the developers to look into mp3PRO, but this codec may remain unsupported for these reasons.