Ok, I finally managed to get it going! I had to download Apple’s “My Home” app on iPhone, add the Marantz AVR as a device & enter its Airplay passcode, and voila - Roon can stream via Airplay to the Marantz SR7015 where it couldn’t before.
Thanks @BlackJack for your attention. Thanks @daniel who gave this suggestion in a reply to another post