In order to convert from a realplayer file to a .wav, use an application called vsound: a virtual audio loopback cable. This tidbit provided to you by MarcN, on #gnhlug.