Actually Arena is mentioned specifically. Admittedly you have to dig for it
Resolume software supports all UltraStudio capture and playback products straight out of the box! With UltraStudio and Resolume you can capture and play back any QuickTime and AVI video files, as well as Flash animations and text overlays with your WAV and AIFF audio files. With Resolume Arena you can even use SMPTE timecode captured by UltraStudio to synchronize clips with lasers, lights, fireworks displays or anything you can imagine for the most mind blowing VJ performances!