Does anyone know if the Pantai Restaurant is still operating. The one overlooking the ocean just down from the dynasty towards the airport. As I remember it had pretty ordinary food (but who cares), cold beer and a fantastic view of the sunset. Had quite a few drunken nights there a few years ago.