repair the badly damaged header cylinder.