After I finished Portal on Sunday I immediately went online and found the MP3 for the song in the credits. Though short, I had a really good time playing Portal. The game is *funny*.