You'd think it would be simple but it's not, because of changes in the laws over the years, and when his parents married, and how citizenship flows depending on revision in the laws. I'll keep you posted as we find out more from the professionals.