Yes! It was a great experience. My partner and I were joined by a father and his young daughter, so it was almost a private guided stargazing experience.
The astronomer shared lots of interesting folklore and pointed out constellations in both their more familiar western names, and in their traditional Hawaiian names. We lucked out and even got to see Jupiter and its giant spot. Despite the nearby resort lights, we were able to see a lot of stars and planets.
Do you remember how much it cost? and what did she see?Just a few weeks ago my daughter did this. She described it as awesome.