Ths first of many, I am sure.
https://www.miamiherald.com/news/local/community/miami-dade/miami-beach/article252544473.html
Always surprised me HOAs don't create some kind of collective cooperative credit union, so they can at least raise capital and have some mechanism for paying for it longer term. Maybe they do, idk