This is Miami-area beachfront...figuring the average market value per unit was $550k (some higher, the lowest was $400k), and the building had 135 units, puts market value at $70MM or so. Definitely worth spending $13MM on repairs.
That’s a huge special assessment.
How much are they worth now?