Can someone clarify for me if the Plaza Pavilion and the Plaza Inn restaurant are one and the same? I understand the pavilion is closed for refurb during our first ever trip to DLR in October and I'm wondering if this will affect any plans to eat at the Plaza Inn. Thank you.