they're available in the travel office if he does want to fill one out