How many movies have J.R. Robinson and Wendy Douglas collaborated on?

They have not worked on any movies together...