What is a gas-stove owner to do—keep polluting their house in case of an emergency, or switch over to electric?