Behöver lite råd om val av AV-Reciever

Hej
Min bror har skaffat sig nya högtalare och kolla nu på en receiver som skulle kunna passa bra till de.
han behöver 9st förstärkta kanaler minst, då han kommer köra 5.2.4 i nuläget. Kan receivern avkoda och kanske behöva använda ett till slutsteg för mer kanaler än så för framtiden är det ett plus.

De vi har kollat på och även blivit föreslagna av HI-FI butiken och Hemmabiobutiken är Marantz SR-6015 och SR-7015 samt Denon AVR-X3700h och AVR-X4700h.
Det lutar nog lite mer åt de två mindre om de "räcker/orkar" för högtalarna. Då han inte vill spendera mer än måste.

Högtalarna:
XTZ 95.44
XTZ 95.33
XTZ 95.24
XTZ Spirit Sub 12 (en bas och i basshakers den andra LFE utgången)
Tak högtalarna vet vi inte vad de är, då de satt i lägenheten när han köpte den.

Så frågan är bara vilken ni rekommenderar och om ni kanske har några andra förslag på marken och modeller i gärna 15000kr och lägre prisklassen? Men finns det en mycket bra anledning att välja en lite dyrare så kan det också vara ett alternativ

Edit: Vi vet att Marantz brukar byta sina runt augusti så han väntar troligen soppas och ser om han kan fynda någon av de listade lite billigare kanske.
HDMI 2.1 är ett måste för Playstation 5 och kommande TV köp!
Och jag känner till "hdmi 2.1 buggen" och att E-Arc finns och vad de gör.