The free version can now export 4k too as of a few versions ago.