@cd0 yeah, 240W and 80Gbps ratings make the laptop OEM hypothesis very plausible.

I've seen some USB-C receptacles mounted on tiny daughterboards with a flat board-to-board interconnect to the mainboard, which makes them user-serviceable, this seems like a logical next step.