I'm struggling to find resources to engage/challenge him at the right level - do you have any ideas or books you would recommend?
Challenging more able children has always been a case of gathering lots of problem-solving and investigation ideas to use with them so they are challenged while adding depth to their understanding, as well as developing their mathematical powers - all the reasoning and problem-solving processes.
You no doubt use the usual sites - NRich, NCETM, ATM, MA - they provide lots of starting points for rich tasks.
I would also take a look at mathsphere.co.uk as some of their puzzle worksheets are good - cheap and cheerful (choose carefully).
Also look at the Rising Stars Brain Academy stuff:
It’s a bit pricey but it is very motivating for some children. I've attached a sample file.
Rising Stars also publish ‘Maths for the More Able’ with NACE and this looks good but a bit wordy perhaps - not seen it in action:
One more thing on challenging children - I wrote an article on 'Challenging high attainers' last year, so take a look at that too.