How many movies have Mike O'Donnell and Tyler Gotch collaborated on?

They have not worked on any movies together...