Alright, I found out the guy used some software called Light-O-Rama, and spent around 2 and a half months setting it up.
yeah...my homeroom teacher showed that to us a few weeks ago...twas amazing. That guy can make a good living doing lighting for bands, etc.
I saw this a few weeks ago on GorillaMask and I loved every second of it. I know a guy who knows how to do that and can set it up within 2 hours if he gets the MIDI programmed. I didn't know what song it was, though. Thanks!