How many movies have Chris Head and Mike Devine acted in together?

They have not worked on any movies together...