If you're looking to change the little startup tune, I would suggest just taking a flac file (easy to find for music) and converting it to a WAV, then you just cut it and you're good.
As for other sounds, you could just extract the audio and convert to WAV. Preferably from a flac (or other lossless source), but it probably won't make a huge difference if it isn't.