The chap at the foreigners' police said they had 'several days' in which to leave the country and come back again. Now to try and find a customs post for a passport stamp in case anyone asks...