Are those considered "privately leased" though? Just like at Dudy-Noble, if those are privately leased, anything goes.
Here is the policy.
No alcoholic beverages shall be sold or dispensed for public consumption anywhere in the facility and the possession and/or consumption of alcoholic beverages in the public areas of the facility shall be prohibited. These prohibitions shall not apply to private, leased areas in the facility or other areas designated by the SEC. There shall be no advertising displays mentioning or promoting alcoholic beverages in the facility.