ListenToYouTube.com does what it says on the tin: allows you to extract the sound from a YouTube video as an mp3. Very useful indeed.