Downloading RealPlayer to listen to some NPR archives. Argh. Converting everything to MP3 would be time-consuming but future-proof.