For future reference, keeping a USB Ethernet adaptor handy seems to work well in those situations (well, as long as there's an ethernet port to plug into I supp

For future reference, keeping a USB Ethernet adaptor handy seems to work well in those situations (well, as long as there's an ethernet port to plug into I suppose!).