Hilton Vienna Danube, Austria :
Diamond, paid stay, 17.-18. of May,
Choice of breakfast in lounge or breakfast in restaurant.
I chose restaurant and had no trouble.
I asked at check-in.
I haven't added this to the wiki in case it was a one-off; my question created a bit of confusion among the reception staff.
So it would be good if someone else could confirm.