I tend to buy new.
In a 9 x 14 room, I would go for the best speakers that I could, like the Wharfedale Lintons @ $1200 ($1500 with stands).
https://www.stereophile.com/content/wharfedale-linton-heritage-loudspeaker
For the amplifier and the $500 left to spend, I would get something like the Denon DRA 800 receiver, which would give him all the connectivity that he would need
https://www.crutchfield.com/p_033DRA800/Denon-DRA-800H.html
Rich
In a 9 x 14 room, I would go for the best speakers that I could, like the Wharfedale Lintons @ $1200 ($1500 with stands).
https://www.stereophile.com/content/wharfedale-linton-heritage-loudspeaker
For the amplifier and the $500 left to spend, I would get something like the Denon DRA 800 receiver, which would give him all the connectivity that he would need
https://www.crutchfield.com/p_033DRA800/Denon-DRA-800H.html
Rich