I would use the animation setting. You might be able to render with the high definition setting, but I would check with who ever is setting up the files for the big screen. Make sure that the render settings are set at best and full too.
Good luck!
H