Do I have to wear a mask in dining areas?

If you choose to wear a mask, you are more than welcome to do so - however it is not required.