Have you any experience with the Dell mini PC with Display port? This is going to be connected to an HDMI switch and I have since signed off with them that I am not responsible for their PCs or connections, but I did say I would make some suggestions to try before they Amazon some CCS. Looking for the best DP to HDMI adapter. TIA