When exchanging tickets, you are not directed to redeem the booking code at the ticket counter first, but instead you are directed to go straight to the gate to scan. In fact, you have to redeem first to get the barcode. So you have to go back and forth