According to the super, another resident smelled the gas and called the gas company directly. He was pissed because if they'd told him first, he would have just slipped in our window, turned off the gas, and then called the gas company, saving the fire department the trouble of breaking down our door (and him the trouble of replacing our lock).