Restaurants at the Portofino Hotel

I understand that the Portofino Hotel is closed through 2020. We have a trip planned for Christmas 2020 and are staying at the HRH. Originally, I was considering booking a dinner at Bice, the upscale Italian restaurant at the Portofino - does anyone know if all of the restaurants at the Portofino are closed as well?

I think Mama Della’s is the only one operating inside Portofino right now, but doing take out only.