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
JJ Macalinao@geerlingguy Hope you'll post a review. I saw a similar one at $60 (same chip) but I'm hesitating to order.