Yo no la he encontrado.
Solamente encuentro la solución de pulsar EPG e ir a configuración grabación y poner la hora final.
Porque si le damos, solamente, a la tecla REC, graba pero no se detiene al final.

En otros decos (AMIKO por ejemplo) existe la posibilidad de pulsar REC y cuando ha empezado a grabar , pulsar de nuevo REC y nos sale el tiempo de grabación para acortarlo o alargarlo.