Reading the section about it in the border service agency site the process doesn't seem very complex, I think his car was originally manufactured in Canada so it might not even need some of this process.
We will see, worst case we might have to spend a like 1000-1500$ or maybe they will let it...