I've already done this, as I mentioned in the previous post. Note, however, I used the consumer version of the Fraunhofer MP3 encoder. not the "pro" one. It's supposedly the best but I found its 128 encoding no better than other 128 encoding.

I would be interested to try it at higher bitrates.