How many movies have Michael Kamen and Nick Mason acted in together?

They have not worked on any movies together...