How do you record it? QuickTime or an external hdmi recorder? Seems a good tip!