How many movies have Andy Benavides and Robert Downey Jr. collaborated on?

They have worked on 1 movie together! Their first movie together was Avengers: Infinity War (2018) and was their highest rated movie together. They have not worked together since Avengers: Infinity War (2018).

Crew
Set Production Assistant
Role
Tony Stark / Iron Man