Oder einfach die Playsi erst anmachen, wenn der HDMI drin ist.
HDMI ist nämlich Plug & Play. Steckst du den vorher ein, erkennt der, dass ein Ausgabegerät angeschlossen ist und fragt, ob er über den HDMI-Port gehen soll. Nur anders herum isses nen bisschen schlecht. Da muss man dann die ON-Taste 3s gedrück halten, damit der wieder auf RGB zurücksetzt...
Sehr schön bei HDMI ist auch, dass man während des Betriebs einen Monitor anstecken kann (am Laptop z.B.) und dann kommt das klassische "neues Device"-Geräusch und man kriegt sofort alles angezeigt... Ist halt wie USB nur fürs Bild!