How many movies have Jon Mitchel and Mike Roberts collaborated on?

They have not worked on any movies together...