How many movies have Lex de Azevedo and Michael Bennett collaborated on?

They have not worked on any movies together...