As far as we could tell, the procedure was supposed to be that we would go into one office (first door on the left immediately after entering the grounds), and at one of the desks in here we would have to pay a departure tax.
We would then have been given a receipt to take to a different officer (at a table in the courtyard), who would give us a departure card to fill out. Once we had both of these, he’d check the receipt to be sure that we’d paid, and stamp our departure card for us to hand over at immigration when we boarded the ferry.
(to be continued)