some feedback:
some of the close to 20 restaurants on rooftops, decks, patios or terraces are very well booked, some full many days in advance
many have "shifts", for example you book 530pm and have to leave 715pm as they have another reservation at 730pm
the best time is from 5.30pm to 7pm, when scenery goes from daylight to sunset and gets dark very fast
many have minimum consumption per table, as more at the front as higher the minimum
prices are of course higher than comparable restaurants...

we booked just 2 days in advance so had to call several eateries until we found one...
the food was pretty lousy so no recommendation, but we could stay at least a bit longer...

but remember, you come for the view and not for the food!