How many movies have Diego Ruiz Velázquez and José Juan Sánchez Torres collaborated on?

They have not worked on any movies together...