How many movies have Robert Downey Jr. and Stacey Kent acted in together?

They have worked on 1 movie together! Their first movie together was Richard III (1995) and was their highest rated movie together. They have not worked together since Richard III (1995).