Remote administration purposes

Given a user can’t or isn’t available to find his/her PC name for me. For instance, in a helpdesk situation, a user submits a trouble ticket saying his PC is ‘broken’. If I know his username, how can I find out the computername (not the DC) which he is logged into?