[kbenson]

I'm not sure how it compares, but I recently went 4k@60Hz with a Dell XPS 15 + docking station.(Dell WD15) + Vizio D40u-D1 (40"). That uses Displayport out of the dock, and a Plugable active DP to HDMI adapter before going into the TV as HDMI as 4k@60Hz. I find it surprising that the monitors, which likely cost 2-3 times what that TV cost ($400) don't support it over HDMI (but then again, the TV doesn't even have DP).

That said, Dell did have a USB-C dock, the TB15, which was plagued by a lot of the same things I hear about USB-C from the Macbooks with USB-C. Wifi and other components stop working intermittently, and on the dock, it flickered intermittently when connected at 4k[1]. Dell just released a new dock, the TB16, and there's a BIOS update for my XPS 15 that says it fixes some docking issues.

1: I seem to recall someone mentioning this was related to the firmware in some connected peripheral, but I'm not sure.