The C building of Alegria is about that size, and the Towers is about that size.
Ocean Club was for sale, but I do not think they have that many units but I have no idea of the size of the "Waterview Apartments" portion of the place.
I hope it works out for all regardless of if something was actually sold or where.
.
