Thanks for the video. I watched it when it popped up on my feed a few weeks back, as I am a subscriber to Skylabs Audio. I have the Onkyo TX-1500 MKII and a Yamaha CR-420 which is a step up from the CR-400. I got both of these receivers from my local thrift stores for under $25 CAD each. As far as the harman kardon receivers - don't count them out, as they are known for having ample dynamic headroom and that's why they can deliver much more than their rated power output on dynamic peaks.
The lights need replacing on the Yamaha CR-420.
Nando.