NON SMOKING!
My very reliable source is a resident and just messaged me.
She was at the casino this afternoon and an announcement was made over the PA system.
No Smoking.
As she said to me this is "the best news in this otherwise not great news time!"