Just wondering what the queues are like and if you need to leave more time? I had been thinking it may be quicker than usual with less people flying, but feels like now we've hit August, it's busy again.