Just a practical thought. Would this count as a hull-loss? Pretty rotten to get a hull-loss in the statistics because of this.
And in that direction, if it's not a hull-loss in that sense, does anyone know the criteria? I'd say it's not the same thing (in the statistics for safe airline) to have an aircraft destroyed in an accident during operation or destroyed by something like this incident, or even damaged beyond repair at night by vandals.