There are universal AC remotes, very common item, as AC remotes do tend to be lost, destroyed by leaking batteries, or simply fail because they get abused. Sub $10 item the last time I bought one, and with 1001 models listed as being controlled by it.
That one, though marked "Prelude", it is likely a badge job on a common generic remote, made by a few Chinese companies.