OT: in Europe, a thiol is added to natural gas to give it a distinctive smell. Isn't the same done in the US?