Besides the just realized 4K companion to F65, is there any other portable 4K recorder on the market right now?