Seasoning a gas grill