One thought --
Sometimes the number of the credit card used to pay the taxes on award travel is printed on the ticket. If they gave him a paper ticket (instead of an e-ticket), and he kept the "passenger receipt", he may be able to get that number. Work from there.