this rj45 has decent speeds, seems faster than port on board, is usb3 although i'm not sure if anything on rj45 is gained by that, is recognized by debian build at plug-in.
https://www.amazon.com/gp/product/B0178H...UTF8&psc=1
https://www.amazon.com/gp/product/B0178H...UTF8&psc=1