Two items of interest...

#1 Policy regarding masks. They are required unless you are actively smoking or drinking. This means, no mask required if you have a bottle or glass in your hand, or a lit cigarette in hand.

#2 The Garden Buffet is now open, and billed as being "staff served".