Technically the first lap they do is the warm up...

Where as the First lap of the race would be dif....

So yes after the first lap, cough, warm-up, cough, they pitted their cars.

No, they pitted before the first lap, after the warmup...sorry to be pedantic!
Appology accepted