PS4 Vanilla goes for 40,000 while the Pro variant will set you back around 60,000. Same goes to Xbox One and Xbox One X. So the prices are rather reasonable but real problem is the games, which cost an arm and a leg ($40-80).
If I were you, I'd just build him a nice, used mid-range PC for half the price that will be able to run 100% free pirated games!
Just buy an Intel i5 4th Gen. system (~15-18k, depending on specs) and pair it with either an RX470 (~12k) or an RX570 (~17k).
That combo will be more powerful than the 60k consoles.