Not sure if this has been posted but the service tag matches what Dell support says about it. Also the warranty timeline on the product matches what we know about the HRC server timeline.
https://www.dell.com/support/home/ca/en/cabsdt1/product-support/servicetag/gxjwfx1/research