Hurray!
(sorry for the late reply - the amp is my friend’s, who’s been quarantined. I just had a chance to pay him a visit)
Turns out the latest official version (which is the first formal release which supports RPi4 8GB) - 2.799 (16-07-2020) - easily recognizes the Rotel.
gkkpch - thank you for your efforts.