How to Detect a Gas Leak