Does anyone know what is going on with El Pueblito? I know its closed (supposedly for completion of renovations), but I can't seem to find anyone who can tell me when its due to re-open...if its going to re-open at all. My aunt has a condo there and has had it for the past 30 years. She is from NY and so she winters here...doesn't look like that's happening this year. I appreciate any information. Thanks!