Interestingly, they don't need separate videos for each transition, because the video is streamed rather than pre-buffered in its entirety. Not that Apple really cares about its bandwidth costs here, but it's an interesting strategy.
The minified JS: http://images.apple.com/v/mac-pro/home/a/scripts/macpro.rele...
And the raw video (download and play in QuickTime): http://movies.apple.com/media/us/mac-pro/2013/96614028-695e-...