That's exactly the codec that I had in mind when I wrote that. Regardless, MP3 is overkill, and 10Kbps is still a small fraction of what MP3 would use (the lowest MP3 bitrate iirc is 32kbps, which is still more than three times as large). Besides that, MP3 just isn't tuned for voice applications.