Thanks for the advice, yes school use and portability is the priority but due to health reasons he doesn't get much joy in life so I would like for him to be able to play Minecraft.
I build my own Linux PCs and haven't used Windows since the early days of Win7 and don't know much about laptops so any advice is much appreciated.
Cheers