I'm travelling to Thailand via Brunei next month. Has anyone been to Brunei and have hints and tips. Much appreciated in advance.