I've just got back from an evening out to find that two of the DP ports on my Zotac Gaming RTX 4090 have stopped working. The bottom-most DisplayPort and the HDMI port still work, but the top two do not. It's late and I really don't need the hassle right now. I've tried the basics of switching cables around, noting that the missing monitors are not detected in Display Settings, and a reboot but I'm going to leave more strenuous troubleshooting until tomorrow. Before I start tomorrow, has anyone seen this behaviour before and if so, what was your solution?