Was there one trumpet player doing Antonio Baderas` part, or were there different trumpet players?