I have a laptop without an Ethernet port. I have 2 USB and 1 HDMI. The WiFi at work is so slow and with so many users, is there an adapter that would work over HDMI? My buddy has a MacBook that has an Ethernet to Lightning adapter. Does one like that even exist for HDMI?