How many movies have Gary Williamson and Mike Holliday collaborated on?

They have not worked on any movies together...