How many movies have Gary Halvorson and Štefan Kocán collaborated on?

They have worked on 4 movies together! Their first movie together was Verdi: Aida (2009) while their highest rated movie together was The Metropolitan Opera: Aida (2012). They have not worked together since The Met — Il Trovatore (2015). They are most known for their music films together.