How many movies have David Vaughn-Thomas and Tim King collaborated on?

They have not worked on any movies together...