Yup, he's restarted his ps4 a few times. And it's been around 20 hours now since he put the code in. I've asked for his login details so I can see whether I can download it from the web browser for him while he's at work.
Any other ideas guys?
Cheers!
By "restart" make sure he's fully powering it off not just using Rest mode.