Is there a source for/further information about this? I can't find it mentioned anywhere (including on the Declare Emergency website), and it seems difficult to square it with the gallery's claim that it cost $4,000 to repair the damage.