I'd try and increase budget a little, you could always opt to get the system without Windows too which would save £100 + on it.
It's easy enough to install via USB and OEM keys can be found very cheap.
If he was willing to try a self build, you can just about put together an AM5 rig with 32gb of RAM for around the £1000 mark. You'd be limited to an 8gb 9060 or 5060 but the system would have more upgrade potential/longevity.