Our video was edited by a student who owns Premiere Pro CS4, After Effects CS4, and a few other useful pieces of software. The result is
here.
I don't know what percentage of that is Premiere Pro or After Affects, but I do know that, since they are both Adobe, they play very nicely together, and that Jonathon likes to overdo After Effects stuff.
The music was made mostly by three students using a MIDI keyboard and a synthesizer on a computer.