FYI, the videos are generally the video-out of the Keynote presentations with a voiceover. So the HD versions are not particularly worthwhile IMO, and the files are really pretty small. Random ones include video of the stage though, so those are massively larger.