Well, it’s gone now. I wonder how much this incident cost the builders, and whether or not insurance would cover it.