Heh, I saw it in college too, on a double billing of Allegro Non Troppo (linked above) and I thiiink a cartoon short of The Dot and the Line -- we saw Phantom Tollbooth at some point too.

I still left and stood out in the hallway outside while GIANT MOUNTAIN SATAN happened. Some friends came with me!