DisplayLink just released an update dated December 6th, 2013. Version 7.5 Maintenance Release 0. These are supported drivers for the Lenovo ThinkPad USB 3.0 Dock and USB Display.
Product Version: 7.5.52889.0
DisplayLink Core Software Version: 7.5.52874.0
Get the latest drivers (here).
Readme / Change list (here). Lots of fixes (too many to list)