Following up on an item from the distant past, I finally have my CD ripping situation sorted out. I’m using Exact Audio Copy to rip the CDs. You can save them in MP3 format with EAC if you have an MP3 codec installed, I’m using Radium MP3 codec. This isn’t the easiest way to do it, but I usually prefer doing things the hard way if there’s seemingly some benefit.