Gas leak: health effects, what to do?