If he checks with his carrier/service provider, or just log into his account with them through their website, it should have the phone listed (if on the site) or the customer service person can tell him the make and model of the phone. The carrier/service provider would know since they are the ones giving service to that device.