The replacement remote arrived. It works*. Yay!

Edit: *Most of the time: Twice now, the receiver just ignores the remote for a while, then it suddenly works again later. I haven't figured out why yet.