I am sure its no smoking except outside. I was at the DMV the other day passing a long line and some were smoking pot. It was next door (same building) as the police station. It's not legal but if you get busted for a couple of joints, its a slap on the wrist. That's here in Florida.