La verdad ni idea,porque yo grabó muy poquitos vídeos,pero siempre lo hago en 1080 fhd 60fps. porque si quiero verlos en un monitor o TV es la resolución que mejor se ajusta a dichas pantallas,y 4k no lo veo necesario realmente,pero eso es mi opinión,según mis gustos.
En tu caso eres tú el que tienes que valorar que te cunde más,si más resolución,o estabilización de vídeo.
Por cierto yo tampoco veo por los ajustes la opción de estabilizar o no.