The file you probably want to look at is intersetup.scd Audio/video materials not provided for copyright purposes. I acquired them from here http://www.youtube.com/watch?v=HO1OV5B_JDw using the fine http://rg3.github.com/youtube-dl/ tool. Installed via the exceptionally fine HomeBrew http://mxcl.github.com/homebrew/