Mp3's are OK - see Here, so is aac. WMA is the only lossless compression format supported.
Why WAV-format, surely you are using approximately twice the hard drive space per track/album for absolutely no benefit whatsoever. WMA lossless will give bit perfect playback.
Generally speaking, you aren't learning much if your lips are moving.