Vojtěch K.
Google
What I have found annoying is that all of the prices come with a hidden 25% markup - the classical tiny note at the bottom of the menu that mentions extra tax and "voluntary" tip, but doesn't even mention how much they are (15% and 10%).
Overall, they serve okay food for expensive prices. (Not crazy expensive, just not appropriate for the quality you get, and hoping they can get away with it because they have captive customers. But note that once drive to the top of the road, there is one more shop which sells some snacks and water.)
The place is nice, the staff was pleasant.