How many movies have Mark Mason and Richard Nye collaborated on?

They have not worked on any movies together...