I think the Yamaha A-S801 is a very good suggestion, but if that’s the way he goes I’d buy it from Accessories4less as he’ll get a nice discount and it’s a very reputable site. He could get the prior model for only $650 or the new model that just recently released for $900 (I’d go for the new model if possible).
https://www.accessories4less.com/make-a-store/category/integratedamp/home-audio/receivers-amps/integrated-amps/1.html
A couple other very good options would be the Rega Brio or the PS Audio Sprout that both have the benefit of having much smaller footprints than the Yammy if that’s an issue. Best of luck.
https://www.rega.co.uk/products/brio
https://www.psaudio.com/products/sprout100-integrated-amplifier/