The restaurant Boca took over Uncle Harrys years ago and most likely was destroyed by Irma. I heard rumors that they are opening up in a new location. Does anyone have info on this? Thanks. Looking forward to coming back to our Paradise next winter!