4007 will likely be stored, stripped then scrapped, im sure i read somewhere 4052's damage is terminal, no idea on 4071 though, 4007's damage does look like its gone through the fibreglass into the main body, so if thats 3 for the chopping block, potentially 3 of the others put back in service...