If camera set to record "XAVC S 4K", and "HDMI Resolution" set to 1080p it outputs very good quality scaled HD. Much better than 1080p internal recording. So it seems we can get good quality 1080p HDMI out to external recorder, but only in 4K internal mode. And it also means there is a good 1080p in there, but the one ends up on the card is bad. This is what i see on my monitor. Can you guys confirm this?