Gas cooling systems