is it possible to record any kind of compressed 4k with the f5 using an external recorder ? I think 4k is around the corner but a lot of the time 4k raw will be overkill I love the fact that the f55 can record compressed 4k but at twice the price of the f5 I'm not so sure. I could be wrong but it seems that the ax5 just records raw, is there a way to record a smaller file sized 4k from the f5?