They're MIDI files. They really don't sound great anyway. :/
And directly extracting them provides the best quality available, if I recall correctly.
I extracted the MIDI files meself for private use on a GMod-style game I play. (Named Sandbox) Made a SRB2-based world on there, complete with music. :D