“I'd like to use a docking station with the LG Gram 16. Can you advise if if the Dell D3100 dock will work with it (nominally this dock just needs a full-size USB port). Alternatively, can you recommend a docking station (or port replicator) for it?”