CORRECTED - thanks to Sylvia G
I had to go to the bank this morning. While there I spotted that the internal work on the Bucanero restaurant on Darsena 3 is almost complete. A guy who was tidying up in there said it reopens on Friday 10 June.
Also, a tip from some friends about the Los Arcos Kadela restaurant on Darsena 1. Apparently, the chef who used to work in the Gourmet restaurant is working there now. The friends said they had a very good meal in there a while ago. I forgot to mention it earlier on here.