Jeff Geerling10G USB-C Ethernet adapters are now a thing... just ordered one ($87 shipped to US), probably will run out of first batch quickly: https://www.wisdpi.com/products/usb-c-to-10gb-ethernet-adapter
J.P. Stewart@geerlingguy is that the same chipset as this? (I’d guess so.)