Maintenance of gas barbecues