iTunes: converting m4a to mp3

Right, my dad searched the help in the latest version of iTunes; search for "saving copied songs in a different file format" and it has the instructions there. Something like Edit -> Options -> Advanced -> "Import files in mp3 format"

then, select the song you want to convert, right-click and the option of "Import to mp3" is there. Apparently. So there you go.