Find it at your library, and I think your enjoyment of 2001 will increase tenfold. I enjoy watching Empire Strikes Back more, obviously, as it's a movie that's meant to appeal to popular tastes, but there's no denying 2001 is a much more expertly made film, in almost every single aspect. At least to me. That said, I don't put it in nearly as much as I do Empire.
