Oh, and if anyone ever hears of a super, super low profile USB 3.0 or HDMI L-adapter, let me know! I've bought one of each that were both not low profile enough to squeeze into the gap between where my Firewire expresscard starts to expand and the side of the ProBook.
Maybe I should give up this quest and instead look for another Firewire expresscard that gives you a large enough gap for these adapters to fit.
If I can solve this last problem I will have tweaked my ProBook completely to satisfaction (aside from possible monitor and CPU upgrades, but those kinds of projects make me pretty nervous to do on a machine I have come to really depend on).