If they're using a Mac, they may use Final Cut. You can do much more with Premiere and After Effects, but the basics can be done easily with Final Cut. You can also use it in combination with a service like Viddyoze and adjust the timing, sound, cuts, etc. in Premiere.