I use EAC + lame to get awesome quality VBR mp3s that I basically cannot tell the difference between CDs and mp3s even through my main stereo.
Instructions here:
http://users.pandora.be/satcp/cd2mp3-en.htm
The thing about EAC is that it VERIFIES that the audio extraction is perfect, without any pops, skips, etc... before it encodes with mp3. When I was using CDex, it would not do that. Things may have changed in CDex though, I haven't used it in a couple years.
Lame is also the best quality encoder I have found for variable bit rates. I get a itrate of around 200 on average, and as I said, quality is indistinguishible to me. Even with entry level audiophile type stereo components (not Sony/JVC, but Rotel, Adcom, etc...) and my home built speakers.
I was using the Faunhofer codec before and it would produce reasonable quality lower bitrate mp3s. LIke 160-192, but, I just couldn't handle the encoding artifacts at straight rates that low. It's probably better than Lame at straight rates, but LAME is free and has better quality vs file size with VBR.