This was a good thing. Whether a restaurant is smoking or non, it should be left up to the business owner.