I then used two tiny jewelers screwdrivers, one underneath the bent pin to support it, the other to bend it back into place. I docked the machine and it worked fine.
So, what was happening is that when you plugged a cable into the on board Ethernet port, it moved the bent pin (shorted to its' neighbor) just enough so that Ethernet worked normally. When the cable was pulled out, the pin touched its neighbor again and shorted the Ethernet port, so that when it was docked it did not work. Hopefully this will help someone if they ever run across this very weird problem.





