Which model year or provide the bulb number. It could be a bulb that pulls straight out or it could be one that you push and turn. If it's an older car with push and turn it could be rusted in. He might need to replace the socket assembly if that's the case.