How many movies have Diego de la Texera and Hector Virella collaborated on?

They have not worked on any movies together...