Remote administration purposes

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