VLC: converting .amr to mp3

Hi,

I wanted to convert my .amr files to mp3.

In VLC, I choose Convert/Save, then add the file and then choose the Convert/Save button and in the drop down menu I choose Convert and it *plays* the file but it doesn't save it as a separate mp3 file.

If I highlight the file in the Add window list and right click I get the same options.

Could someone who has successfully converted and saved a .amr file as an MP3 file please share the exact step-by-step process?

Thank you.