Should the patio become a non-smoking area at GBC?