Per wikipedia whose memory is better than mine f1 pit stops usually took between six and 12 seconds in the late aughts depending on how much fuel was needed.

F1 pit stop times over the years. Average pit stop time through years 1950 1965 1970 1980 1985 1993 1995 2003 2008 2010 2013 2014 2015 2016 0 10 20 30 40 50 60 70 years time in seconds in the 1950s pit stops had an average time of almost 67 seconds. The cars were fuelled at 12 liters per second. The pit stop time lasted for 6 to 12 seconds which depended on how much fuel is needed by the car to finish the race.

In 1984 though in race refuelling was banned leading. In the early 70s this time dropped to almost 27 seconds.