And it's not just some random even high profile site, but the sheer number makes for minimum 12,000 person-hours of repair and update just the servers, times a fully-valued $25 per man hour, that's $150,000 in damages not counting any of the other things-times-6000 that need to be done!