Raccoon1400
Super Member
From that list, I'd take the SX-750, at 50WPC. But I'd look for a higher powered receiver, you can get a lot more out of the HPM 100 than any of those units will give you.
Also, the TX-8100 on your list is a tuner, not a receiver.
Also, the TX-8100 on your list is a tuner, not a receiver.