How many movies have Mike Mandzik and Randi Hiller collaborated on?

They have not worked on any movies together...