I would have thought you were out of luck with that combination of receiver and remote, but according to the poster in this thread, you can change to AV1.

[Link: remotecentral.com]