(If there's any cheap+decent amps you can hook HDMI-ARC to that would of course be worth to pay a bit more for).

Not an amp, but allows you to use HDMI-ARC to feed a standard amp.