I wouldn't hesitate with the Marantz at the Hyperfi price. The value for money is outstanding. But do call Hyperfi first to make sure he can get you one. He sometimes advertises but has not yet got stock from the manufacturer. I have always found him very helpful though.

Cinema/Music: Trinnov Altitude32 8-16,218,Cloud 4 channel, Marantz UD5007,DSP5200SE(2+C),DSP3300(4),DSW(2),271,MShort Ceilings,AppleTV 4K
TV: Marantz SR7013 Wharfedale Diamond 9x4+Celestion(C)
Music: Roon,i7NUC8gen,QNAP TS253A, Sony Scala, MS200, Garrard DDQ650,Wharfedale Diamond 12.3
Kitchen: AD88 (bluetooth via i80).