Are you happy Robert Downey Jr. will be playing Iron Man in Avengers 2 and 3?