How many movies have Jorge de Santos and Mario Pinedo Romea collaborated on?

They have not worked on any movies together...