My suggestion would be to get the 3808 from 6Ave, all the bells and whistles, with good power and very cheap right now. See how it sounds on it's own, then if he needs it louder or feels the amp to be lacking anything(I doubt he will), move to an outboard amp.

Jason
M80 v2
VP160 v3
QS8 v2
PB13 Ultra
Denon 3808
Samsung 85" Q70