AVF123,
I'm glad you mentioned that.
Since these are laptops we couldn't use a PCI card, but we did install an external USB 3.0 Network Adapter and had no problem at all.
We've actually been able to connect an external USB 3.0 adapter while the on-board adapter was cycling between up and down states, and the external adapter worked perfectly with no problems.