There are currently no great APIs for looking up someone's ID number based on Kerberos name. Our workaround is to force a technician to log into Athena and run the lookup via an authenticated query against the WIN.MIT.EDU LDAP/AD service. This is a request to keep the MIT ID when returned with a card tap API call, and populate the corresponding field in the Makers table in Airtable, so we have MIT ID on file for any makers that have checked in. This should include anyone we issue Makerbucks to, which is our use case for needed MIT ID numbers rather than Kerberos usernames.