How many movies have Carter Michael and Mike Dumin collaborated on?

They have not worked on any movies together...