nah man... Here's what I think they did... it was scripted in flash (which would make some of the movements easier... especially the warping and sliding of objects) with objects defined in Illustrator. From there it was prerendered out into a Quicktime movie...

Thus, you get a techie looking flash movie without the lag of Flash...