Does anyone know if Coco Beach restaurant will be re-built or something similar?