I may not know the whole story here, but that doesn't sound right. WAVs are uncompressed audio. If the WAV of a song is small, it's because the quality is very low or you really have an MP3 with a WAV file extension.
Correct. WAV files are very large, which is why only about fifteen songs in WAV format will fit on a 700 megabyte disk.