How Much Would the Avengers' Damage to Manhattan Cost?