Should I record it at 720p or 1050p?
(Or 1050p and downscale to 720p to fake anti aliasing?)