did they ever repair the damage to mizner park after the last hurricane?? from the pics I saw... it sure seemed pretty nasty damage....