Tools Menu

The Tools menu allows you to change the default Gas Man® options: