I've always assumed that the video production team just chopped up/looped the beginning of the theme to fit the run time of the credits. I always did that kind of stuff when I was making commercials at the radio station, though I usually found ways to make it sound better than a record skipping, with things like crossfading and picking better parts of the song (that was a really awkward spot to loop back to start), and so on and so forth.