If it was happening every day it might be worth considering. But a one-off of 10k wouldn't be worth my time either. The proper response to 9/11 was what Norway showed us: "this is terrible and we're going to grieve but we're not going to change anything".