OK, I don't know what to make of this, guys

Somebody gave me a 14MB wav to encode. I played it and it turned out to be a mono 8kHz recording, which pans out to be an even 128kbps, same as your run-of-the-mill mp3!

Now how do I encode it to save space?

the --alt-preset cbr modes only go down to 80kbps?

Then how about this:
--alt-preset cbr 80 --resample 8 -b 16

I don't want to use the bad default settings for the stuff other than bitrate, so I start with the lowest --alt-preset cbr and then add switches to change the bitrate and sample rate. Is this even correct syntax?

With lame 3.92 (instead of 3.90.2) the alt presets go below 80kbps.

Well 3.90.2 is the recommended one in the sticky, so that's the one I got

(I know, 3.92 works too)

Anyway, that setting worked and I gave the file to her. Sounds ok given the original quality