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.