You have a limited amount of options for R10k, but here are my picks:
Lenovo S145 @ R8499 (previous gen, but still good)
HP Pavilion 15 @ R8999 (requires another 4GB DIMM, but build quality is decent)
Lenovo IdeaPad L340-15API @ R9847 (Ryzen 5 3500U, soldered plus one DIMM)
I would also go to a local Incredible Connection and try score a deal with a display unit. Some of the higher-end machines get discounted to around R10k.
Thanks so much for your recommendations. I really appreciate it. Will pass this on to my brother