Mit gut 7500 € dabei. Und ein vernünftiger HDMI Mischer ist auch nicht für schmales Geld zu bekommen. Eventuell ist mieten bei einem Verleiher für Event-bzw. Videoequipment da dann die günstigere Lösung und meist hast du da auch dann die kompetenten Ansprechpartner um eine für dich passende Lösung zusammen zu bekommen.