Anyone been up there to dine? I heard the restaurant is like always fully booked, not to mention expensive.