Red Bull's pitstop in Hungary has been officially timed as 1.88 seconds.