Alice says he/she got 2 shortcuts at location \\$server2\shortcuts\. So I presume both files do have an .lnk extension. The .lnk extension is always hidden in windows explorer.
I am just presuming. Alice has to confirm if I am right. I think it is about shortcuts and their exact names are worx.url.lnk and pmworx.url.lnk