How many movies have Carlos Pinto and José Rodrigues collaborated on?
They have not worked on any movies together...