Yep. These are the mp3 files I've had sat on my hard drive since I downloaded them from the site in the 1st post.
Part 1 is encoded at 64kbps, part 2 at 48kbps and part 3 at 96kbps.
Not the best quality ever but it's a good record of what was heard in theaters back in 1977.