to be fair thats a good tv. Same with the lower samsung range, the erm JS6000 If I recall (might be the 7000). You'll get a great picture with low lag on both. Just not a actual 10 bit panel.
Aye the bit rate matters hence its HDR10 not HDR8. (ohh so patronising:P) Fun fact RBG is 8bit colour which is why the PSpro does not auto choose it for HDR:P
It's a utter minefield out there for 4kHDR atm and the only reason I've held off myself. Shame the retail stores don't explain this but then I guess they just want to sell sell sell