I keep notes and yes, this was the first time we got their "last" (family) names. To the best of my memory and my notes, they had each heard the others' friends call them by their given names but had never used each others' names before. They only chatted as friendly strangers.