[flexcoders] MP3 or any audio encoder?

[dorkie dork from dorktown]

I'm recording sound from the mic and uncompressed it can end up pretty
large. I need to encode it into something much smaller and before sending it
to the server. I can't find a mp3 encoder *anywhere* on the net. Is there
one available anywhere?