4 Important Tools for Detecting a Gas Leak