After much research I still can't find anywhere that confirms if the HDMI output is capable of 4K or if it is just HD. Has anyone that has a CS hooked up to a 4k TV to watch video recorded in 4K from the HDMI port? If you have please post if it is actual 4K output.