I wonder how many millions are lost per minute of downtime.
The retail market in the USA can be accurately summarized as "slow trickle slow trickle slow trickle slow trickle MASSIVE DELUGE OMG OMG slow trickle slow trickle..."
It would shock people how much consumer spending is shoved into the November-December time frame. Since this downtime is in the middle of May, I don't expect them to lose much money at all.
Downtime is a Big Deal during the high retail season, and not really a big deal outside of it.
Those are four very different numbers.
And sure, there's some elasticity, but an approximation is handy.