How many movies have Rodrigo Tomás and Seif El Din Khaled collaborated on?

They have not worked on any movies together...