How many movies have Dipi and Jose Enrique Ruiz Vallejo collaborated on?

They have not worked on any movies together...