That was actually slow for an F1 pit stop.
I’m old enough to remember when an F1 race had no scheduled pit stops and because of that and other factors Ferrari pit stops were comically bad. In the good old days the Wood Brothers of NASCAR were the gold standard of pit stop speed and efficiency. I am glad F1 now has scheduled pit stops and other innovations and a Ferrari pit stop is no longer a joke.