Um dir eventuell die Auswahl zu erleichtern könntest du auch einen Display Port Switch nutzen und so deinen normalen PC und deine Dockingstation an einen DP-Anschluss anzuschließen? So musst du nur nach einem Monitor mit einem DP Anschluss und einem HDMI Anschluss suchen?
Einziger Nachteil ist dass du dann den Ton nicht über den Monitor abspielen kannst (zumindest geht's bei mir nicht).
Ich hab die hier und bin sehr zufrieden.
DisplayPort Switch, ConnBull... https://www.amazon.de/dp/B08GKYTY1H?ref=ppx_pop_mob_ap_share