A short post for now:

Got two Mellanox ConnectX-4 cards off ebay, and 10gtek dacs, and they all work! Or at least iperf says they work at 10gbps.

One for the T130, and one for the Lenovo p720.