Should the Pedestrian Mall have a smoking ban from 8 a.m. to 10 p.m.?