Options command (Tools menu)

Use this command to change the default Gas Man® settings: