Yes, and I was surprised when we went to a cruise next lecture on the NCL Prima in which they handed out a schedule of cruises and it did actually mention the real port instead of Rome, Florence, and Paris.
I was also surprised given that that Edinburgh was listed. I have seen many other ports as the ports for Edinburgh including Rosyth where we ported from the very small Ocean Princess. I asked the presenter afterwards about this, and she said it was a tender, a very long tender.