Anyone got any restauarant tips? We went a few years ago and there were 2 in town that were really good - Oranje something and another one!! Are they still good - and is the campsite restauarnt still as dire?!! Pool was closed when we were last there so any tips on that?