He can do this a couple different ways. He could pull the radio out of the car and look for any identifying logo or even a serial number would help him out. Then he could take just that information to a stereo shop or he could pull out and disconnect the whole radio and then take it too a stereo place and tell them what he wants for the radio and I am sure they will be able to help him out.