Don't buy a budget 4kTV. You won't be impressed. Save up.
Budget and HDR dont go together right now. Understand that you wont be getting the full experiance and dont judge HDR based on screens incapable of showing it fully. Even the X800D, so often recomended here, at the end of the day can not do every part of the HDR spec and lacks the hardware for some of the best parts (No edge lit will ever be able to do HDR properly, local dimming is fudged completely)
This used to be true, but has changed recently.
Just look at the reviews on that TCL P. You can get a real deal hdr experience now.
https://www.amazon.com/dp/B01MTGM5I9/ref=psdc_6459737011_t1_B06Y6FSV5Q?th=1
Wat bout dis one, this is the newer model of the tcl, right?
I'm looking for a 55 inch also for da ps4 pro, under $1k
https://www.theverge.com/2017/6/16/15815602/tcl-roku-tv-4k-series-review-best-budget-tv
No, this is the only TCL model to consider.
Only the 55" is available now with the other sizes later this year.