How to Manage a Gas Leak?