Stupid question, but does the transcode time out of RedCine vary accordingly depending on the resolution of the source footage? For example, would footage shot at 2k take half as long as 4k to transcode to PAL (assuming there were no file transfer bottlenecks of course).