Just search for the highest bitrate and best format. AAC will be a little better than MP3 (properly encoded) at the same bitrate. WMA is about the same as MP3 (maybe worse, depending on your tastes). Real is untested, AFAIK, so you'll have to try to the stream to see if it's acceptable.