Does anybody know what the maximum theoretical bitrate through the hdmi port is for the Sony A7RII. Gary Friedman makes the following statement in his A7RII book: "Yes, you can record 4K movies on your internal memory card, but the camera applies some compression to these files in order to allow more footage to fit on a card. If you have an external 4K recorder attached to the camera's HDMI port, however, you can tell the camera to save it as uncompressed 4K video, with a bitrate estimated to be 147 Mbps. (Compare this to the available bit rates of 100M available to record on the memory card, which frankly is still pretty good. But you’re a purist; otherwise you wouldn’t even be reading this.)" I have no idea where the figure of 147Mbps comes from. Since so many aspects of the Sony cameras are undocumented it is difficult to verify this statement. Can anybody help ?