F1 is doing ~3 second pit stops these days, but they are also not doing any refueling. However, even when they did do refueling (last in 2009), the pit stops were in the 8-9 second range (which is about the time Indycar takes to do pit stops --4 tire changes and refuel).