The new Marantz Stereo 70s would fit the bill. An added bonus is he could run his TV audio through it as well. Has HDMi ports.
Around $1000.
Looking for an all-in-one just-add-speakers streamer for my son to take to college
Cambridge Audio Evo 75 is probably the top of the range, but maybe a BlueSound Powernode is good enough? Maybe there is something cheaper that fits the bill?
My son is not (yet) an audiophile, so sufficient volume may be the most important, but interested in any thoughts folks have on this topic.