AS for the HDR flag, at least on my pre-HDR Samsung UN65JU6400 4K TV, it plays all 4K content from the 540 Dish channels with no problem.
On my H3 I often had to record a 4K channel and watch as it was played back at the same time, so the output from the Joey 4 appears to be less restrictive...