The 4000 is a great little receiver, and the 5000 is too. My old 9090db has eventually become what I listen to most. It just sounds right. Enjoy your find. Need more power? The 4000 makes a great preamp/tuner.
Old JBL’s, EPI’s., ADVENTS and Altecs are a good match.
Norman