4 ms·I went for a ThinkPad 13. Add on the dongle for an RJ45 port (about GBP10) and you're sorted!by flipbrad 6y agoI went for a ThinkPad 13. Add on the dongle for an RJ45 port (about GBP10) and you're sorted!