Every PCIe 10G ethernet card I've seen has a heatsink on it, sometimes covering the entire card or even have little fans on the heatsink.

Expecting it to work full time in a laptop is a bit of a stretch of the heat dissipation budget.

Also, the laptop he is working has the AMD FP8 chipset - depending on how the ports are setup, he might only get 10G USB, if the ports are allocated to video instead.