I am thinking the f5 may be more in my budget - especially because we seem to be getting an inflated price in Australia. The f5 looks fantastic however I really love the idea of recording a compressed 4k file onboard like the f55 has. Can you record 4k externally in smaller files than raw from the f5 or are you restricted to 4k raw on sony only media?