At this time, masks are not required in the full-service restaurants. But at the buffet locations, they do require that you wear a mask when entering and when in the buffet line.
Important note: The hotel does not provide free masks, so come prepared with some masks of your own.