I forgot to say that I am flying in 1st, so CX 777/776 has 1st class while flights to DPS does not. I hope that the CX staff in HKG will give me my return boarding pass. By the way, how much is the departure tax? Payable in US dollars probably.