Hi,
if the STB only supports 4K30 then you must switch manually with a script to that output resolution because hardly any image support this resolution in audio/video settings.

Ralf