How to Trace a Gas Leak