I think I'm gonna have to get a new Thunderbolt dock. My current Dell TB16 Dock doesn't work with Mac OS X without installing a kernel extension. While that is fine etc, I just don't like the idea that it could break with any OS update.
It's a bit annoying, because I have two TB16 docks. They have a bad reputation, but to be honest I haven't had any issues with them.