hmm tight budget but thats ok.. that denon can be had new for $476 (reputable dealer) https://www.videopro.com.au/p-8792-denon-avrx520bt-52ch-av-receiver.aspx
sorry pioneer not my thing but looks capable.
you are on a limited budget. if 4k.. 2.2 protection,, 4.4.4 blah blah newest this and that dont really matter. just a nice sound producing avr to run the klipsch.. so for selfish reasons look at my sale for a denon 890
i have older klipsch sf3's and rf3's and i prefer the sound thru a denon avr vs old pioneer and newer yamaha avr's