Betreibt ihr einer Terminalserverumgebung? Dort wären Rundnachrichten ein Kinderspiel. Anderweitig, gibt es wie von dir bereits recherchiert entsprechende Server / Client Software Pakete mit denen man entsprechende Push Nachrichten realisieren kann. Die Clientsoftware ausbringung kann jedoch, je nach Anzahl Clients und ob ggf. ein Softwareverteilungssystem vorhanden ist, sehr zeitaufwändig sein.
Alternativ empfehle ich eher eine zentrale IT Hotline und entsprechende Personal. Aus Erfahrung weiß ich das die meisten Anwender ohnehin die Nachrichten nicht wirklich bewusst lesen.