They were actually using Avid Media Composer, not Final Cut Pro.