I own both Lego Star Wars: The Video Game, and Lego Star Wars II: The Original Trilogy. I was looking in the depths of the CD on the computer, and found the music from the game. All the files were .ogg (Ogg Vorbis) files, and I was able to open them in Audacity. This also means I can export them as WAV or MP3. But are these files copyrighted? I looked all through the pamphlet that came with the games, and the only thing copyrighted (or said was copyrighted) was the program itself, the game. Is it alright to use the music in videos without copyright infringement?