Hmm interesting that you say that. I tried a few years ago to extract the soundtrack, and my result was utter failure. The codec in the WAVs seemed to be some kind of fucky version of PCM I never managed to decode cleanly. Some attempts produced recognizable outputs, but with lots of noise. Maybe some the codec has been included in the common libraries in the meantime or the player you used recognizes the format while the ones I tried didn’t. What player did you use?